SLE 2020 paper:
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers

Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, Bernd Fischer

DOI: 10.1145/3426425.3426946
T1B: Static Semantics
- The paper’s main contribution concerns static semantics, especially typing or constraint checking.
T4A: Workbenches
- It includes substantial tool support or infrastructure relevant for engineering/using languages.
T4B: Horizontal Transformation
- It performs mapping/conversion/synchronisation between representations (horizontal transformations).
T4C: Vertical Transformation
- It uses compilation/generation/refinement to derive executable artefacts (vertical transformations).

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.