Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A structured approach to proving compiler optimizations based on dataflow analysis
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Formal verification of a c compiler front-end
FM'06 Proceedings of the 14th international conference on Formal Methods
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |