Translation validation for an optimizing compiler
- 1 May 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 35 (5) , 83-94
- https://doi.org/10.1145/358438.349314
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A certifying compiler for JavaPublished by Association for Computing Machinery (ACM) ,2000
- The design and implementation of a certifying compilerPublished by Association for Computing Machinery (ACM) ,1998
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Value dependence graphsPublished by Association for Computing Machinery (ACM) ,1994
- A program integration algorithm that accommodates semantics-preserving transformationsACM Transactions on Software Engineering and Methodology, 1992
- Proving the correctness of storage representationsPublished by Association for Computing Machinery (ACM) ,1992
- Explicit substitutionsJournal of Functional Programming, 1991
- On the adequacy of program dependence graphs for representing programsPublished by Association for Computing Machinery (ACM) ,1988
- An approach to compiler correctnessACM SIGPLAN Notices, 1975
- Advice on structuring compilers and proving them correctPublished by Association for Computing Machinery (ACM) ,1973