skip to content
Modern compiler implementation in ML Preview this item
ClosePreview this item
Checking...

Modern compiler implementation in ML

Author: Andrew W Appel
Publisher: Cambridge, UK ; New York, NY, USA : Cambridge University Press, 2004.
Edition/Format:   Print book : English : 1st pbk. edView all editions and formats
Database:WorldCat
Summary:
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Andrew W Appel
ISBN: 0521607647 9780521607643 0521582741 9780521582742
OCLC Number: 62502129
Description: x, 538 pages : illustrations ; 24 cm
Contents: 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.
Responsibility: Andrew W. Appel.

Abstract:

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

Reviews

Editorial reviews

Publisher Synopsis

"Contains most up-to-date compiler techniques. Contains good programming assignment." Professor Zhong Shao, Yale University

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/62502129> # Modern compiler implementation in ML
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "62502129" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3695742772#Place/new_york_ny_usa> ; # New York, NY, USA
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3695742772#Place/cambridge_uk> ; # Cambridge, UK
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://dewey.info/class/005.453/e23/> ;
   schema:about <http://id.worldcat.org/fast/1004562> ; # ML (Computer program language)
   schema:about <http://experiment.worldcat.org/entity/work/data/3695742772#Topic/ubersetzerbau> ; # Übersetzerbau
   schema:about <http://experiment.worldcat.org/entity/work/data/3695742772#Topic/compiler> ; # Compiler
   schema:about <http://id.worldcat.org/fast/871538> ; # Compilers (Computer programs)
   schema:bookEdition "1st pbk. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/34610100> ; # Andrew W. Appel
   schema:datePublished "2004" ;
   schema:description "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."@en ;
   schema:description "This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most accepted and successful techniques are described in a concise way, rather than as an exhaustive catalog of every possible variant. Detailed descriptions of the interfaces between modules of a compiler are illustrated with actual C header files. The first part of the book, Fundamentals of Compilation, is suitable for a one-semester first course in compiler design. The second part, Advanced Topics, which includes the advanced chapters, covers the compilation of object-oriented and functional languages, garbage collection, loop optimizations, SSA form, loop scheduling, and optimization for cache-memory hierarchies."--Pub. desc."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3695742772> ;
   schema:inLanguage "en" ;
   schema:name "Modern compiler implementation in ML"@en ;
   schema:productID "62502129" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/62502129#PublicationEvent/cambridge_uk_new_york_ny_usa_cambridge_university_press_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3695742772#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9780521607643> ;
   schema:workExample <http://worldcat.org/isbn/9780521582742> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/62502129> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3695742772#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/3695742772#Place/new_york_ny_usa> # New York, NY, USA
    a schema:Place ;
   schema:name "New York, NY, USA" ;
    .

<http://id.worldcat.org/fast/1004562> # ML (Computer program language)
    a schema:Intangible ;
   schema:name "ML (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/871538> # Compilers (Computer programs)
    a schema:Intangible ;
   schema:name "Compilers (Computer programs)"@en ;
    .

<http://viaf.org/viaf/34610100> # Andrew W. Appel
    a schema:Person ;
   schema:birthDate "1960" ;
   schema:familyName "Appel" ;
   schema:givenName "Andrew W." ;
   schema:name "Andrew W. Appel" ;
    .

<http://worldcat.org/isbn/9780521582742>
    a schema:ProductModel ;
   schema:isbn "0521582741" ;
   schema:isbn "9780521582742" ;
    .

<http://worldcat.org/isbn/9780521607643>
    a schema:ProductModel ;
   schema:isbn "0521607647" ;
   schema:isbn "9780521607643" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.