摘要：Cminor的重构及其与Hoare逻辑推理的适用性的研究
作者：Andrew W. Appel (INRIA Rocquencourt), Sandrine Blazy (CEDRIC, INRIA Rocquencourt)
论文ID：0707.4389
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-07-31
PDF 下载： 英文版 中文版pdf翻译中