Translation validation for an optimizing compiler

This publication has 10 references indexed in Scilit:

• A certifying compiler for Java
  Published by Association for Computing Machinery (ACM) ,2000
• The design and implementation of a certifying compiler
  Published by Association for Computing Machinery (ACM) ,1998
• TIL
  Published by Association for Computing Machinery (ACM) ,1996
• Value dependence graphs
  Published by Association for Computing Machinery (ACM) ,1994
• A program integration algorithm that accommodates semantics-preserving transformations
  ACM Transactions on Software Engineering and Methodology, 1992
• Proving the correctness of storage representations
  Published by Association for Computing Machinery (ACM) ,1992
• Explicit substitutions
  Journal of Functional Programming, 1991
• On the adequacy of program dependence graphs for representing programs
  Published by Association for Computing Machinery (ACM) ,1988
• An approach to compiler correctness
  ACM SIGPLAN Notices, 1975
• Advice on structuring compilers and proving them correct
  Published by Association for Computing Machinery (ACM) ,1973