Formal Verification of a C Compiler Front-End

This publication has 5 references indexed in Scilit:

• A high-level modular definition of the semantics of C♯
  Theoretical Computer Science, 2005
• Formal Verification of a Memory Model for C-Like Imperative Languages
  Published by Springer Nature ,2005
• Verification-Oriented Language C-Light and Its Structural Operational Semantics
  Published by Springer Nature ,2004
• Compiler verification
  ACM SIGSOFT Software Engineering Notes, 2003
• The semantics of the C programming language
  Published by Springer Nature ,1993