Provably correct code generation: a case study

MaRDI QIDQ2849553zbMATH OpenFDO

Authors Qian Wang, Gopal Gupta

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053265

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Logic Based Program Synthesis and Transformation
• scientific article; zbMATH DE number 702367
• scientific article; zbMATH DE number 3947597
• A demonstrably correct compiler
• Certifying compilers using higher-order theorem provers as certificate checkers

Cited in

(4)

• A logical encoding of timed \(\pi\)-calculus
• scientific article; zbMATH DE number 578229 (Why is no real title available?)
• A demonstrably correct compiler
• The correctness of a code generator for a functional language

This page was built for publication: Provably correct code generation: a case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849553)