A Certifying Compiler for Clike Subset of C Language

标题	A Certifying Compiler for Clike Subset of C Language
Publication Type	Conference Paper
Year of Publication	2010
Authors	Li, Z, Zhuang Z, Chen Y, Yang S, Zhang Z, Fan D
Conference Name	4th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'2010)
Date Published	08/2010
Publisher	the IEEE Computer Society
Conference Location	Taibei
ISBN Number	978-0-7695-4148-8
关键词	certifying compiler, program verification, proof-carrying code, separation logic, theorem prover

附件	大小
zpli_tase2010.pdf	459.9 KB

语言