TVOC: A translation validator for optimizing compilers

Keyphrases

• Validator 100%
• Optimizing Compilers 100%
• Proof Rules 100%
• Source Code 50%
• Compiler 50%
• Translation Validation 50%
• Target Codes 50%
• Loop Transformations 50%
• Validation Approach 50%
• Compiler Optimization 50%
• Verification Conditions 50%
• Lite 50%
• Source Program 50%
• Structure Preservation 50%
• Verification Process 50%
• Interactive Theorem Prover 50%

Computer Science

• Source Codes 100%
• Loop Transformation 100%
• Compiler Optimization 100%
• Theorem Prover 100%
• Optimizing Compiler 100%
• Verification Process 100%