同步数据流语言可信编译器的构造

著录项

• 来源
  《软件学报》 |2014年第2期|341-356|共16页
• 作者

  石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐;

  展开▼
• 作者单位

  清华大学计算机科学与技术系;

  北京 100084;

  新疆大学信息科学与工程学院;

  新疆乌鲁木齐830046;

  清华大学计算机科学与技术系;

  北京 100084;

  清华大学计算机科学与技术系;

  北京 100084;

  科技部高技术研究发展中心;

  北京100044;

  清华大学计算机科学与技术系;

  北京 100084;

  清华大学计算机科学与技术系;

  北京 100084;

  清华大学计算机科学与技术系;

  北京 100084;

  清华大学计算机科学与技术系;

  北京 100084;

  清华大学计算机科学与技术系;

  北京 100084;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 编译程序、解释程序;
• 关键词

  同步数据流语言; 经过验证的编译器; 形式化验证; 形式语义; 定理证明;