Tiger Language

Tiger is the example programming language used in AndrewAppel's textbook on ModernCompilerImplementationInML.

Language features

• data types
  • integers
  • strings
  • arrays
  • records
• nested declarations
  • variable declarations
  • function definitions
  • type declarations
• assignment (destructive update)
• control-flow
  • if-then-else
  • if-then
  • while
  • for

The Tiger language reference is in the ModernCompilerImplementationInML book. There are also some references on the web. For example:

• http://www.cs.columbia.edu/~sedwards/classes/2002/w4115/tiger.pdf
• http://www.lrde.epita.fr/~akim/compil/tiger.html

The signature for Tiger used in the TigerCompiler is documented in TigerAbstractSyntax

---

WebHome is a framework for the implementation of a TigerCompiler in the StrategoLanguage.

The TigerCompiler compiles Tiger programs to MIPS assembly code.

---

CategoryLanguage