Validating More Loop Optimizations
Open Access
- 7 December 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 141 (2) , 69-84
- https://doi.org/10.1016/j.entcs.2005.02.044
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- CVC Lite: A New Implementation of the Cooperating Validity CheckerPublished by Springer Nature ,2004
- Automatically proving the correctness of compiler optimizationsPublished by Association for Computing Machinery (ACM) ,2003
- Verification of CompilersPublished by Springer Nature ,1999
- Translation validationPublished by Springer Nature ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967