字节码虚拟机的构造和验证

著录项

• 来源
  《软件学报》 |2010年第2期|305-317|共13页
• 作者

  董渊; 任恺; 王生原; 张素琴;

  展开▼
• 作者单位

  清华大学;

  计算机科学与技术系;

  北京;

  100084;

  清华大学;

  计算机科学与技术系;

  北京;

  100084;

  清华大学;

  计算机科学与技术系;

  北京;

  100084;

  清华大学;

  计算机科学与技术系;

  北京;

  100084;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 操作系统;
• 关键词

  已验证虚拟机; 模块化验证; 字节码; 类Hoare逻辑;