位置：成果数据库 > 会议 > 会议详情页
An open framework for foundational proof-carrying code
  • 所属机构名称：中国科学技术大学
  • 会议名称：2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
  • 成果类型：会议
  • 会场：Nice, France
  • 相关项目：软件安全性的验证和编译
作者： Feng, Xinyu|Guo, Yu|Ni, Zhaozhong|Shao, Zhong|
同会议论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目会议论文
A general framework for certifying garbage collectors and their mutators
A certified thread library for multithreaded user programs
Design of a certifying compiler supporting proof of program safety
Foundational typed assembly language with certified garbage collection
Foundational typed assembly language with certified garbage collection
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