Formal verification of translation validators
- 7 January 2008
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 43 (1), 17-27
- https://doi.org/10.1145/1328897.1328444
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- A machine-checked model for a Java-like language, virtual machine, and compilerACM Transactions on Programming Languages and Systems, 2006
- Formal certification of a compiler back-end orPublished by Association for Computing Machinery (ACM) ,2006
- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof AssistantLecture Notes in Computer Science, 2006
- Catching and Identifying Bugs in Register AllocationLecture Notes in Computer Science, 2006
- Extracting a data flow analyser in constructive logicTheoretical Computer Science, 2005
- Into the Loops: Practical Issues in Translation Validation for Optimizing CompilersElectronic Notes in Theoretical Computer Science, 2005
- TVOC: A Translation Validator for Optimizing CompilersLecture Notes in Computer Science, 2005
- Compiler verificationACM SIGSOFT Software Engineering Notes, 2003
- Verified bytecode verifiersTheoretical Computer Science, 2003
- The Code Validation Tool (CVT)International Journal on Software Tools for Technology Transfer, 1998