位置：成果数据库 > 会议 > 会议详情页
Design of a certifying compiler supporting proof of program safety
  • 所属机构名称：中国科学技术大学
  • 会议名称：1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
  • 成果类型：会议
  • 会场：Shanghai, China
  • 相关项目：软件安全性的验证和编译
作者： Liu, Cheng|Chen, Yiyun|Ge, Lin|Li, Zhaopeng|Hua, Baojian|
同会议论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目会议论文
A general framework for certifying garbage collectors and their mutators
A certified thread library for multithreaded user programs
Foundational typed assembly language with certified garbage collection
Foundational typed assembly language with certified garbage collection
An open framework for foundational proof-carrying code
Implementation of pointer logic for automated verification
An extension to Pointer Logic for verification
A decision procedure for XPath satisfiability in the presence of DTD containing choice
A decision procedure for XPath satisfiability in the presence of DTD containing choice
Certifying low-level programs with hardware interrupts and preemptive threads