Syntax and Semantics of a High-Level Intermediate Representation for ASF+SDF. Software Engineering (SEN).

摘要

Developing a compiler for Asf + Sdf has been a challenging task. The compilation of Asf + Sdf is performed using an intermediate language midcroASF, an abstract syntax representation of Asf + Sdf. Although Asf + Sdf is quite simple to use, it provides a number of features which have an unclear semantics. By means of a number of examples in microASF and a more mathematical notation a number of these semantic issues are clarified. These examples are helpful for both the compiler designer and specification writer.