Design of a Certifying Compiler Supporting Proof of Program Safety.

Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu

Browse the full TASE paper archive.