Languages

A Certifying Compiler for Clike Subset of C Language

TitleA Certifying Compiler for Clike Subset of C Language
Publication TypeConference Paper
Year of Publication2010
AuthorsLi Z, Zhuang Z, Chen Y, Yang S, Zhang Z, Fan D
Conference Name4th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'2010)
Date Published08/2010
Publisherthe IEEE Computer Society
Conference LocationTaibei
ISBN Number978-0-7695-4148-8
Keywordscertifying compiler, program verification, proof-carrying code, separation logic, theorem prover
AttachmentSize
zpli_tase2010.pdf459.9 KB