Symbolic transfer function-based approaches to certified compilation
- 1 January 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (1) , 1-13
- https://doi.org/10.1145/964001.964002
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Translation and Run-Time Validation of Optimized CodeElectronic Notes in Theoretical Computer Science, 2002
- A dependently typed assembly languagePublished by Association for Computing Machinery (ACM) ,2001
- Translation validation for an optimizing compilerPublished by Association for Computing Machinery (ACM) ,2000
- The design and implementation of a certifying compilerPublished by Association for Computing Machinery (ACM) ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- Trace-based program analysisPublished by Association for Computing Machinery (ACM) ,1996
- Compiler transformations for high-performance computingACM Computing Surveys, 1994
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977