卡明·阿巴特;Busi，Matteo公司;斯泰利奥斯·赞帕斯 完全抽象且健壮的编译。以及如何在抽象上协调两者。 （英语） Zbl 1520.68025号 哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 83-101 (2021).MSC公司：68号30 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Abate}等人，Lect。注释计算。科学。13008，83-101（2021；Zbl 1520.68025） 全文： 内政部 arXiv公司
卡明·阿巴特;罗伯托·布兰科;特凡市CiobácȘ;阿德里安·杜里埃;迪帕克·加格;Hrițcu，科特林;马可·帕特里格纳尼;埃里克·坦特;杰雷米·蒂鲍特 跟踪编译器的正确性和安全编译。 （英语） Zbl 1508.68046号 Müller，Peter（编辑），《编程语言和系统》。第29届欧洲编程研讨会，ESOP 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 1-28 (2020).MSC公司：68N20型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Abate｝等人，Lect。注释计算。科学。12075，1--28（2020；Zbl 1508.68046） 全文： 内政部 arXiv公司
弗雷德里克·贝松;布兰奇，桑德琳;皮埃尔·威尔克 CompCertS公司：使用指针作为整数语义的经过内存软件验证的C编译器。 （英语） Zbl 1468.68064号 J.汽车。推理 63，第2号，369-392（2019）.MSC公司：68N20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Besson}等人，J.Autom。推理63，No.2，369--392（2019；Zbl 1468.68064） 全文： 内政部