一个出具证明编译器后端的设计与实现

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

一个出具证明编译器后端的设计与实现

田波;陈意云;王伟;李兆鹏;王志芳

Design and Implementation of Certifying Compiler Back End

TIAN Bo; CHEN Yi-yun; WANG Wei; LI Zhao-peng; WANG Zhi-fang

计算机工程 . 2009, (7): 132 -135 . DOI: 10.3969/j.issn.1000-3428.2009.07.045