Systematic design of program transformation frameworks by abstract interpretation
- 1 January 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 178-190
- https://doi.org/10.1145/503272.503290
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- A Case Study in Abstract Interpretation Based Program TransformationElectronic Notes in Theoretical Computer Science, 2001
- A theoretical foundation for program transformations to reduce cache thrashing due to true data sharingTheoretical Computer Science, 2001
- Enforceable security policiesACM Transactions on Information and System Security, 2000
- The Code Validation Tool (CVT)International Journal on Software Tools for Technology Transfer, 1998
- Future directions in program transformationsACM SIGPLAN Notices, 1997
- Proving the correctness of recursion-based automatic program transformationsTheoretical Computer Science, 1996
- An introduction to partial evaluationACM Computing Surveys, 1996
- On-line and off-line partial evaluation: semantic specifications and correctness proofsJournal of Functional Programming, 1995
- The discoveries of continuationsHigher-Order and Symbolic Computation, 1993
- Deforestation: transforming programs to eliminate treesTheoretical Computer Science, 1990