A Certifying Compiler for Clike Subset of C Language.

Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan

Browse the full TASE paper archive.