Modern Compiler Implementation in ML - Rilegato

Appel, Andrew W.

Rilegato

ISBN 10: 0521582741 ISBN 13: 9780521582742

Casa editrice: Cambridge University Press, 1997

Riassunto

Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.

Su questo libro

Descrizione del libro

This new, expanded textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional and object-oriented languages. In a concise and practical way the author describes the fundamentals of compilation and then moves on to advanced topics such as SSA form, loop scheduling, and optimization for cache-memory hierarchies. A unique feature is a compiler implementation project in ML, including front-end and 'high-tech' back-end phases.

Contenuti

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. Polymorphic types; 17. Dataflow analysis; 18. Loop optimizations; 19. Static single-assignment form; 20. Pipelining and scheduling; 21. The memory hierarchy; Appendix.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1997
• ISBN 10: 0521582741
• ISBN 13: 9780521582742
• Rilegatura: Copertina rigida
• Lingua: Inglese
• Numero di pagine: 548
• Contatto del produttore: non disponibile