Design of a Certifying Compiler Supporting Proof of Program Safety.
| Autor: | Chen Yiyun, Lin Ge, Hua Baojian, Li Zhaopeng, Cheng Liu |
|---|---|
| Zdroj: | First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07); 2007, p127-138, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|