Formal certification of a compiler back-end or

This publication has 17 references indexed in Scilit:

• A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
  Published by Springer Nature ,2006
• Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL
  Electronic Notes in Theoretical Computer Science, 2005
• Formal Verification of a Memory Model for C-Like Imperative Languages
  Published by Springer Nature ,2005
• Symbolic transfer function-based approaches to certified compilation
  Published by Association for Computing Machinery (ACM) ,2004
• Extracting a Data Flow Analyser in Constructive Logic
  Published by Springer Nature ,2004
• Compiler verification
  ACM SIGSOFT Software Engineering Notes, 2003
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Verification of Compilers
  Published by Springer Nature ,1999
• Basic-block graphs: Living dinosaurs?
  Published by Springer Nature ,1998
• Iterated register coalescing
  ACM Transactions on Programming Languages and Systems, 1996