Compilers: Principles, Techniques, and Tools

Last updated
Compilers: Principles, Techniques, and Tools
Purple dragon book b.jpg
The cover of the second edition (North American), showing a knight and dragon
Author Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman
LanguageEnglish
Publisher Pearson Education, Inc
Publication date
1986, 2006
ISBN 0-201-10088-6
OCLC 12285707
005.4/53 19
LC Class QA76.76.C65 A37 1986

Compilers: Principles, Techniques, and Tools [1] is a computer science textbook by Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman about compiler construction for programming languages. First published in 1986, it is widely regarded as the classic definitive compiler technology text. [2]

Contents

It is known as the Dragon Book to generations of computer scientists [3] [4] as its cover depicts a knight and a dragon in battle, a metaphor for conquering complexity. This name can also refer to Aho and Ullman's older Principles of Compiler Design .

First edition

The first edition (1986) is informally called the "red dragon book" to distinguish it from the second edition [5] and from Aho & Ullman's 1977 Principles of Compiler Design sometimes known as the "green dragon book". [5] Topics covered in the first edition include:

Second edition

Following in the tradition of its two predecessors, the second edition (2006) features a dragon and a knight on its cover, and is informally known as the purple dragon. Monica S. Lam of Stanford University became a co-author with this edition.

The second edition includes several additional topics, including:

Updated second edition

In order to cover recent developments and issues, there is an updated second edition from Pearson Education India (4 July 2023), with contributions from Sorav Bansal. This revised and updated edition has new chapters on Programming Language Semantics and Undefined Behaviour Semantics.

See also

Related Research Articles

In computing, a compiler is a computer program that translates computer code written in one programming language into another language. The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a low-level programming language to create an executable program.

In computing, object code or object module is the product of a compiler.

The Dragon Book may refer to:

In computer science, a recursive descent parser is a kind of top-down parser built from a set of mutually recursive procedures where each such procedure implements one of the nonterminals of the grammar. Thus the structure of the resulting program closely mirrors that of the grammar it recognizes.

In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of formal description of a programming language and machine.

<span class="mw-page-title-main">Alfred Aho</span> Canadian computer scientist

Alfred Vaino Aho is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.

In computing, code generation is part of the process chain of a compiler and converts intermediate representation of source code into a form that can be readily executed by the target system.

In computer science, a syntax error is an error in the syntax of a sequence of characters or tokens that is intended to be written in a particular programming language.

<i>Principles of Compiler Design</i> Book by Alfred Aho and Jeffrey Ullman

Principles of Compiler Design, by Alfred Aho and Jeffrey Ullman, is a classic textbook on compilers for computer programming languages. Both of the authors won the 2020 Turing award for their work on compilers.

In computer science, three-address code is an intermediate code used by optimizing compilers to aid in the implementation of code-improving transformations. Each TAC instruction has at most three operands and is typically a combination of assignment and a binary operator. For example, t1 := t2 + t3. The name derives from the use of three operands in these statements even though instructions with fewer operands may occur.

In computer science, parsing reveals the grammatical structure of linear input text, as a first step in working out its meaning. Bottom-up parsing recognizes the text's lowest-level small details first, before its mid-level structures, and leaving the highest-level overall structure to last.

In computer programming, loop-invariant code consists of statements or expressions that can be moved outside the body of a loop without affecting the semantics of the program. Loop-invariant code motion is a compiler optimization that performs this movement automatically.

Jeffrey David Ullman is an American computer scientist and the Stanford W. Ascherman Professor of Engineering, Emeritus, at Stanford University. His textbooks on compilers, theory of computation, data structures, and databases are regarded as standards in their fields. He and his long-time collaborator Alfred Aho are the recipients of the 2020 Turing Award, generally recognized as the highest distinction in computer science.

In compiler theory, copy propagation is the process of replacing the occurrences of targets of direct assignments with their values. A direct assignment is an instruction of the form x = y, which simply assigns the value of y to x.

An operator precedence grammar is a kind of grammar for formal languages.

<span class="mw-page-title-main">Syntax (programming languages)</span> Set of rules defining correctly structured programs

In computer science, the syntax of a computer language is the rules that define the combinations of symbols that are considered to be correctly structured statements or expressions in that language. This applies both to programming languages, where the document represents source code, and to markup languages, where the document represents data.

In computer programming and computer science, "maximal munch" or "longest match" is the principle that when creating some construct, as much of the available input as possible should be consumed.

Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University.

A lookahead LR parser (LALR) generator is a software tool that reads a context-free_grammar (CFG) and creates an LALR parser which is capable of parsing files written in the context-free language defined by the CFG. LALR parsers are desirable because they are very fast and small in comparison to other types of parsers.

Upwards exposed uses or reachable uses, is a concept in compiler theory which occurs in the copy propagation stage of compilation.

References

  1. Aho, Sethi, Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986. ISBN   0-201-10088-6
  2. "The Top 9 1/2 Books in a Hacker's Bookshelf" . Retrieved 23 October 2010.
  3. Alex Martelli; Anna Martelli Ravenscroft; David Ascher (2005). Python cookbook. O'Reilly Media. p. 587. ISBN   978-0-596-00797-3 . Retrieved 21 October 2011.
  4. Ian Stephenson (2005). Production rendering: design and implementation. Springer. p. 139. ISBN   978-1-85233-821-3 . Retrieved 21 October 2011.
  5. 1 2 Mad Macz (January 2002). Internet Underground: The Way of the Hacker. PageFree Publishing, Inc. p. 219. ISBN   978-1-930252-53-0 . Retrieved 21 October 2011.

Further reading