Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan. A Certifying Compiler for Clike Subset of C Language. In Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang, editors, 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. pages 47-56, IEEE Computer Society, 2010. [doi]
@inproceedings{LiZCYZF10,
title = {A Certifying Compiler for Clike Subset of C Language},
author = {Zhaopeng Li and Zhong Zhuang and Yiyun Chen and Simin Yang and Zhenting Zhang and Dawei Fan},
year = {2010},
doi = {10.1109/TASE.2010.8},
url = {http://dx.doi.org/10.1109/TASE.2010.8},
tags = {C++, compiler},
researchr = {https://researchr.org/publication/LiZCYZF10},
cites = {0},
citedby = {0},
pages = {47-56},
booktitle = {4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010},
editor = {Jing Liu and Doron Peled and Bow-Yaw Wang and Farn Wang},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4148-8},
}