Patterns for Name Analysis and Type Analysis with JastAdd

Uwe Meyer, Björn Pfarr

In the last two decades, tools have been implemented to more formally specify the semantic analysis phase of a compiler instead of relying on handwritten code. In this paper, we in…