Verified validation of lazy code motion
- 28 May 2009
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 44 (6), 316-326
- https://doi.org/10.1145/1543135.1542512
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- CoVaC: Compiler Validation by Program Analysis of the Cross-ProductPublished by Springer Science and Business Media LLC ,2008
- Formal Verification of a C-like Memory Model and Its Uses for Verifying Program TransformationsJournal of Automated Reasoning, 2008
- Formal verification of translation validatorsPublished by Association for Computing Machinery (ACM) ,2008
- 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
- Catching and Identifying Bugs in Register AllocationLecture Notes in Computer Science, 2006
- TVOC: A Translation Validator for Optimizing CompilersLecture Notes in Computer Science, 2005
- Automatically proving the correctness of compiler optimizationsPublished by Association for Computing Machinery (ACM) ,2003
- Translation validationLecture Notes in Computer Science, 1998
- Global optimization by suppression of partial redundanciesCommunications of the ACM, 1979