TVOC: A Translation Validator for Optimizing Compilers

This publication has 7 references indexed in Scilit:

• Validating More Loop Optimizations
  Electronic Notes in Theoretical Computer Science, 2005
• Translation and Run-Time Validation of Loop Transformations
  Formal Methods in System Design, 2005
• Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers
  Electronic Notes in Theoretical Computer Science, 2005
• CVC Lite: A New Implementation of the Cooperating Validity Checker
  Published by Springer Nature ,2004
• Translation validation for an optimizing compiler
  Published by Association for Computing Machinery (ACM) ,2000
• Translation validation
  Published by Springer Nature ,1998
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967