Modern Compiler Implementation in ML: Basic Techniques

Appel, Andrew W.:

ISBN 10: 052158275X / ISBN 13: 9780521582759

Published by Cambridge University Press, 1997

About this Item

398 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 700.

Seller Inventory # 1452798

Bibliographic Details

• Title: Modern Compiler Implementation in ML: Basic Techniques
• Publisher: Cambridge University Press
• Publication Date: 1997
• Language: English
• ISBN 10: 052158275X
• ISBN 13: 9780521582759
• Binding: Broschiert
• Condition: Gut
• Weight: 700 grams
• Seller catalogs:
  • 202 Informatik & EDV

About this title

Synopsis

This textbook explains all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-colouring register allocation with coalescing, and runtime systems. It covers current techniques in code generation and register allocation, as well as functional and object-oriented languages. The author illustrates the most accepted and successful techniques in a concise way, rather than as an exhaustive catalogue of every possible variant. Detailed descriptions of the interfaces between the modules of a compiler are illustrated with actual ML signatures. A unique feature of the book is a well-designed compiler implementation project in ML, including front-end and 'high-tech' back-end phases, so that students can build a complete working compiler in one semester. The textbook is meant for use in a one-semester first course for undergraduates in compiler design. Accompanying software is available.

Book Description

This textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, for imperative, functional and object-oriented languages. The author describes the most accepted and successful techniques, rather than giving an exhaustive catalogue of every variant. A unique feature is a compiler implementation project in ML, including front-end and high-tech back-end phases.