TigerLanguage

Tiger Language in F#

This project contains Tiger language implementation described in book <br/> "Modern Compiler Implementation in ML" (1998) by Andrew Appel

The main ideas behind every step during development are:

• control the constraints and give feedback on error (lexer, parser and syntactic analysis)
• linearization of syntax tree and represent it in a sequential form (intermediate representation)
• efficiency/optimization (the whole compiler backend)

The whole idea of compilation is to convert program to list of functions (instructions) that could be executed by hardware in a context (environment). Of course you can compile something but the execution could be made by software.

NOTE: All compiler backend algorithms are translated from ML implementation