Modern Compiler Implementation in C

Author: Andrew W. Appel
Publisher: Cambridge University Press
ISBN: 1107268567
Category : Computers
Languages : en
Pages : 560

Book 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 a 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.

Modern Compiler Implementation in ML

Author: Andrew W. Appel
Publisher: Cambridge University Press
ISBN: 1107268540
Category : Computers
Languages : en
Pages : 673

Book 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.

Modern Compiler Implementation in Java

Author: Andrew W. Appel
Publisher:
ISBN: 9788175960725
Category : Compilers (Computer programs)
Languages : en
Pages : 548

Book Description
Appel explains all phases of a modern compiler, covering current techniques in code generation and register allocation as well as functional and object-oriented languages. The book also includes a compiler implementation project using Java.

Modern Compiler Design

Author: Dick Grune
Publisher: Springer Science & Business Media
ISBN: 1461446996
Category : Computers
Languages : en
Pages : 832

Book Description
"Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application. By carefully distinguishing between the essential (material that has a high chance of being useful) and the incidental (material that will be of benefit only in exceptional cases) much useful information was packed in this comprehensive volume. The student who has finished this book can expect to understand the workings of and add to a language processor for each of the modern paradigms, and be able to read the literature on how to proceed. The first provides a firm basis, the second potential for growth.

Modern Compiler Implementation in Java

Author: Andrew W. Appel
Publisher:
ISBN: 9780521820608
Category : Computers
Languages : en
Pages : 501

Book Description
This textbook describes all phases of a 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 the compilation of functional and object-oriented languages, that is missing from most books. The most accepted and successful techniques are described concisely, rather than as an exhaustive catalog of every possible variant, and illustrated with actual Java classes. 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 compilation of object-oriented and functional languages, garbage collection, loop optimization, SSA form, instruction scheduling, and optimization for cache-memory hierarchies, can be used for a second-semester or graduate course. This new edition has been extensively rewritten to include more discussion of Java and object-oriented programming concepts, such as visitor patterns. A unique feature is the newly redesigned compiler project in Java, for a subset of Java itself. The project includes both front-end and back-end phases, so that students can build a complete working compiler in one semester.

Compiler Construction

Author: Kenneth C. Louden
Publisher: Course Technology
ISBN:
Category : Computers
Languages : en
Pages : 604

Book Description
This compiler design and construction text introduces students to the concepts and issues of compiler design, and features a comprehensive, hands-on case study project for constructing an actual, working compiler

Engineering a Compiler

Author: Keith D. Cooper
Publisher: Elsevier
ISBN: 0080916619
Category : Computers
Languages : en
Pages : 825

Book Description
This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest developments in compiler technology. In this comprehensive text you will learn important techniques for constructing a modern compiler. Leading educators and researchers Keith Cooper and Linda Torczon combine basic principles with pragmatic insights from their experience building state-of-the-art compilers. They will help you fully understand important techniques such as compilation of imperative and object-oriented languages, construction of static single assignment forms, instruction scheduling, and graph-coloring register allocation. - In-depth treatment of algorithms and techniques used in the front end of a modern compiler - Focus on code optimization and code generation, the primary areas of recent research and development - Improvements in presentation including conceptual overviews for each chapter, summaries and review questions for sections, and prominent placement of definitions for new terms - Examples drawn from several different programming languages

Crafting a Compiler

Author: Charles N. Fischer
Publisher: Benjamin-Cummings Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 840

Book Description
Software -- Programming Languages.

A Retargetable C Compiler

Author: Christopher W. Fraser
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 598

Book Description
This book brings a unique treatment of compiler design to the professional who seeks an in-depth examination of a real-world compiler. Chris Fraser of AT &T Bell Laboratories and David Hanson of Princeton University codeveloped lcc, the retargetable ANSI C compiler that is the focus of this book. They provide complete source code for lcc; a target-independent front end and three target-dependent back ends are packaged as a single program designed to run on three different platforms. Rather than transfer code into a text file, the book and the compiler itself are generated from a single source to ensure accuracy.

Program Logics for Certified Compilers

Author: Andrew W. Appel
Publisher: Cambridge University Press
ISBN: 110704801X
Category : Computers
Languages : en
Pages : 469

Book Description
This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.