Programs as Data Objects

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Strictness analysis and polymorphic invariance
3. Altmetric Badge
   Chapter 2 Convergent term rewriting systems can be used for program transformation
4. Altmetric Badge
   Chapter 3 The theory of strictness analysis for higher order functions
5. Altmetric Badge
   Chapter 4 Recognition of generative languages
6. Altmetric Badge
   Chapter 5 Modular first-order specifications of operational semantics
7. Altmetric Badge
   Chapter 6 Logic specification of code generation techniques
8. Altmetric Badge
   Chapter 7 Strictness detection in non-flat domains
9. Altmetric Badge
   Chapter 8 Strictness computation using special λ-expressions
10. Altmetric Badge
    Chapter 9 A relational framework for abstract interpretation
11. Altmetric Badge
    Chapter 10 Expected forms of data flow analyses
12. Altmetric Badge
    Chapter 11 Code generation from two-level denotational meta-languages
13. Altmetric Badge
    Chapter 12 Multilevel functions in Martin-Löf's type theory
14. Altmetric Badge
    Chapter 13 An implementation from a direct semantics definition
15. Altmetric Badge
    Chapter 14 The structure of a self-applicable partial evaluator
16. Altmetric Badge
    Chapter 15 Program transformation by supercompilation
17. Altmetric Badge
    Chapter 16 Listlessness is better than laziness II: Composing listless functions
18. Altmetric Badge
    Chapter 17 From interpreter to compiler: A representational derivation