Compiler Construction

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 OASIS: An optimizing action-based compiler generator
3. Altmetric Badge
   Chapter 2 Action transformations in the actress compiler generator
4. Altmetric Badge
   Chapter 3 An overview of door attribute grammars
5. Altmetric Badge
   Chapter 4 Coupling evaluators for attribute coupled grammars
6. Altmetric Badge
   Chapter 5 Towards the global optimization of functional logic programs
7. Altmetric Badge
   Chapter 6 A portable and optimizing back end for the SML/NJ compiler
8. Altmetric Badge
   Chapter 7 Efficient organization of control structures in distributed implementations
9. Altmetric Badge
   Chapter 8 Implementing 2DT on a multiprocessor
10. Altmetric Badge
    Chapter 9 Global code selection for directed acyclic graphs
11. Altmetric Badge
    Chapter 10 Compiling nested loops for limited connectivity VLIWs
12. Altmetric Badge
    Chapter 11 Delayed exceptions — Speculative execution of trapping instructions
13. Altmetric Badge
    Chapter 12 On the implementation of abstract interpretation systems for (constraint) Logic Programs
14. Altmetric Badge
    Chapter 13 A suite of analysis tools based on a general purpose abstract interpreter
15. Altmetric Badge
    Chapter 14 Flow grammars — a flow analysis methodology
16. Altmetric Badge
    Chapter 15 Provable correctness of prototype interpreters in LDL
17. Altmetric Badge
    Chapter 16 Developing efficient interpreters based on formal language specifications
18. Altmetric Badge
    Chapter 17 Generating an efficient compiler for a data parallel language from a denotational specification
19. Altmetric Badge
    Chapter 18 Adding semantic and syntactic predicates to LL(k): pred-LL(k)
20. Altmetric Badge
    Chapter 19 Cosy compiler phase embedding with the CoSy compiler model
21. Altmetric Badge
    Chapter 20 Towards provably correct code generation for a hard real-time programming language
22. Altmetric Badge
    Chapter 21 Supporting array dependence testing for an optimizing/parallelizing C compiler
23. Altmetric Badge
    Chapter 22 Processing array statements and procedure interfaces in the PREPARE high performance fortran compiler
24. Altmetric Badge
    Chapter 23 A practical approach to the symbolic debugging of parallelized code
25. Altmetric Badge
    Chapter 24 Reducing the cost of data flow analysis by congruence partitioning
26. Altmetric Badge
    Chapter 25 Interprocedural constant propagation using dependence graphs and a data-flow model
27. Altmetric Badge
    Chapter 26 Solving demand versions of interprocedural analysis problems
28. Altmetric Badge
    Chapter 27 Compile time instruction cache optimizations
29. Altmetric Badge
    Chapter 28 Instruction scheduling over regions: A framework for scheduling across basic blocks
30. Altmetric Badge
    Chapter 29 Transport-triggering vs. operation-triggering