Compiler Correctness and Input/Output

This publication has 13 references indexed in Scilit:

• A programming logic for a verified structured assembly language
  Published by Springer Nature ,2005
• Deriving Correctness Properties of Compiled Code
  Published by Elsevier ,1993
• Mechanizing Programming Logics in Higher Order Logic
  Published by Springer Nature ,1989
• Correctness Properties of the Viper Block Model: The Second Level
  Published by Springer Nature ,1989
• Abstraction Mechanisms for Hardware Verification
  Published by Springer Nature ,1988
• A Proof of Correctness of the Viper Microprocessor: The First Level
  Published by Springer Nature ,1988
• Implementing Safety-Critical Systems: The VIPER Microprocessor
  Published by Springer Nature ,1988
• Toward Verified Execution Environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967