未找到相关数据
Java and the java memory model - A unified, machine-checked formalisation
被引：0
作者：
Karlsruher Institut für Technologie, Germany
[1
]
机构：
来源：
Lect. Notes Comput. Sci.
|
/
497-517期
关键词：
Compilation and indexing terms;
Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Storage allocation (computer) - Java programming language
引用
收藏
相关论文