位置：成果数据库 > 会议 > 会议详情页
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：5th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2011)
  • 时间：2011.8.8
  • 成果类型：会议
  • 相关项目：内存一致性模型的通用描述及验证框架
作者： Wei Wang|Zhong Shao|Xinyu Jiang|Yu Guo|
同会议论文项目
内存一致性模型的通用描述及验证框架
期刊论文 1 会议论文 8
同项目会议论文
A Concurrent Temporal Programming Model with Atomic Blocks
An Operational Approach to Happens-Before Memory Model
A rely-guarantee-based simulation for verifying concurrent program transformations
A Structural Approach to Prophecy Variables
Modular Verification of Linearizability with Non-Fixed Linearization Points
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
Modular Verification of Concurrent Thread Management