Systematic design of program transformation frameworks by abstract interpretation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2002, Pages 178-190

  Cousot, Patrick ^a   Cousot, Radhia ^b  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; ITERATIVE METHODS; OPTIMIZATION; PROGRAM INTERPRETERS; PROGRAMMING THEORY; SEMANTICS; SYSTEMS ANALYSIS;

ABSTRACT INTERPRETATION; PROGRAM TRANSFORMATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036036551     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503272.503290     Document Type: Conference Paper

References (31)

1. Tutorial notes on partial evaluation
2. On-line and off-line partial evaluation: Semantics specifications and correctness proofs
3. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
4. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
5. Static determination of dynamic properties of recursive procedures
6. Systematic design of program analysis frameworks
7. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
8. A case study in abstract interpretation based program transformation: Blocking command elimination
9. Temporal verification by diagram transformations
10. SASI enforcement of security policies: A retrospective
11. Synchronous observers and the verification of reactive systems
12. A theoretical foundation for program transformations to reduce cache thrashing due to true data sharing
13. Abstract interpretation and partial evaluation in functional and logic programming
14. An introduction to partial evaluation
15. Combining abstract interpretation and partial evaluation (brief overview)
16. Data flow analysis of applicative programs using minimal function graphs: Abridged version
17. A unified approach to global program optimization
18. Abstract interpretation of probabilistic semantics
19. Symbolic finite differencing - Part I
20. Future directions in program transformations
21. The code validation tool CVT: Automatic verification of a compilation process
22. The discoveries of continuations
23. Proving the correctness of recursion-based automatic program transformations
24. Enforceable security policies
25. Selective thunkification
26. Automata-theoretic techniques for modal logics of programs
27. Binding-time analysis and strictness analysis by abstract interpretation
28. Deforestation: Transforming programs to eliminate trees
29. Program slicing
30. Reverse engineering and reusing Cobol. Programs: A program transformation approach