Personal Information

VIEW MORE
Home > Scientific Research > Paper Publications

CompCertELF: verified separate compilation of C programs into ELF object files

Date of Publication:2020-11-01 Hits:

Journal:Proceedings of the ACM on Programming Languages
ISSN No.:None
Translation or Not:no
Date of Publication:2020-11-01
Indexed by:期刊论文

Pre One:Automatic Generation and Validation of Instruction Encoders and Decoders

Next One:An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..