Tiger
metaborgcube/metaborg-tiger/org.metaborg.lang.tiger.statix
From the Tiger Language Reference Manual:
This document describes the Tiger language defined in Andrew Appel’s book Modern Compiler Implementation in Java (Cambridge University Press, 1998).
The Tiger language is a small, imperative language with integer and string variables, arrays, records, and nested functions. Its syntax resembles some functional languages.
Reference
Phil Misteli: Renaming for Everyone: Language-parametric Renaming in Spoofax, Master thesis, TU Delft, 2021
Syntax
The syntax of Tiger is specified in SDF3.
Name binding
The name binding of Tiger is specified in Statix.
To do
- Check for broken links
- Make Statix highlighting consistent with that specified in the Statix language project.