Syntax and semantics of a high-level intermediate representation for ASF+SDF

Abstract

Developing a compiler for ASF+SDF has been a challenging task. The compilation of ASF+SDF is performed using an intermediate language μASF, 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 μASF and a more mathematical notation a number of these semantic issues are clarified. These examples are helpful for both the compiler designer and the specification writer