Modern Compiler Implementation in ML: Basic Techniques
Andrew W. Appel · 1997
Part I. Fundamentals of Compilation: 1. Introduction 2. Lexical analysis 3. Parsing 4. Abstract syntax 5. Semantic analysis 6. Activation records 7. Translation to intermediate code 8. Basic blocks and traces 9. Instruction selection 10. Liveness analysis 11. Register allocation 12. Putting it all together Part II. Advanced Topics: 13. Garbage collection 14. Object-oriented languages 15. Functional programming languages 16. Dataflow analysis 17. Loop optimizations Appendix: Tiger language reference manual.