Deriving Correctness Properties of Compiled Code

This publication has 9 references indexed in Scilit:

• Compiler Correctness and Input/Output
  Published by Springer Nature ,1993
• Provably correct compiler development and implementation
  Published by Springer Nature ,1992
• A mechanically verified code generator
  Journal of Automated Reasoning, 1989
• The Formal Verification of Safety-critical Assembly Code
  IFAC Proceedings Volumes, 1988
• The verification of low-level code
  Software Engineering Journal, 1988
• Proving the correctness of a flight-director program for an airborne minicomputer
  ACM SIGPLAN Notices, 1976
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967