A Certifying Compiler for Clike Subset of C Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhaopeng Li' in GoogleThis author has not been identified. Look up 'Zhong Zhuang' in GoogleThis author has not been identified. Look up 'Yiyun Chen' in GoogleThis author has not been identified. Look up 'Simin Yang' in GoogleThis author has not been identified. Look up 'Zhenting Zhang' in GoogleThis author has not been identified. Look up 'Dawei Fan' in Google

runs on WebDSL