首页> 外文OA文献 >A Unified Formal Specification and Analysis of the New Java Memory Models

【2h】

A Unified Formal Specification and Analysis of the New Java Memory Models

机译：新Java内存模型的统一形式规范和分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Varsha Awhad; Charles Wallace;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications [J] . Safaa Achour, Mohammed Benattou, Jean-Louis Lanet IAENG Internaitonal journal of computer science . 2021,第2Pta2期

机译：使用BML规范注释的Java Bytecode程序的正式模型。
2. Complete Formal Specification of the OpenMP Memory Model [J] . Greg Bronevetsky, Bronis R. de Supinski International journal of parallel programming . 2007,第4期

机译：OpenMP内存模型的完整正式规范
3. Formal Specification and Analysis of Domain Specific Models Using Maude [J] . Jose E. Rivera, Francisco Duran, Antonio Vallecillo Simulation . 2009,第11a12期

机译：使用Maude的领域特定模型的正式规范和分析
4. A Unified Formal Specification and Analysis of the New Java Memory Models [C] . Varsha Awhad, Charles Wallace International Workshop on Abstract State Machines . 2003

机译：统一的正式规范和新Java Memory模型的分析
5. A specification language design for the Java Modeling Language (JML) using Java 5 annotations [D] . Taylor, Kristina Boysen 2008

机译：使用Java 5注释的Java建模语言（JML）的规范语言设计
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. Java and the Java Memory Model — A Unified, Machine-Checked Formalisation [O] . Andreas Lochbihler 2012

机译：Java和Java内存模型 - 统一，机器检查的形式化
8. Formal Specification of Memory Models [R] . Sindhu, P. S., Frailong, J. M., Cekleov, M. 1991

机译：内存模型的形式规范

A Unified Formal Specification and Analysis of the New Java Memory Models

著录项

引文网络

相似文献

相关主题

期刊订阅