Tiger Language Reference Manual

This document defines the Tiger language, derived from a language introduced by Andrew Appel in his Modern Compiler Implementation books (see Modern Compiler Implementation). We insist so that our students buy this book, so we refrained from publishing a complete description of the language. Unfortunately, recent editions of this series of book no longer address Tiger (see In Java - Second Edition), and therefore they no longer include a definition of the Tiger compiler. As a result, students were more inclined to xerox the books, rather than buying newer editions. To fight this trend, we decided to publish a complete definition of the language. Of course, the definition below is not a verbatim copy from the original language definition: these words are ours.

• Lexical Specifications
• Syntactic Specifications
• Semantics
  • Declarations
    • Type Declarations
    • Variable Declarations
    • Function Declarations
    • Method Declarations
  • Expressions