一个出具证明编译器原型系统的实现

一个出具证明编译器原型系统的实现

刘诚，陈意云，葛琳，华保健

Implementation of certifying compiler prototype

LIU Cheng，CHEN Yi-yun，GE Lin，HUA Bao-jian

计算机工程与应用 . 2007, (21): 99 -102 .