Developing a compiler for ASF+SDF has been a challenging task. The compilation of ASF+SDF is performed\ud using an intermediate language μASF, an abstract syntax representation of ASF+SDF. Although ASF+SDF\ud is quite simple to use, it provides a number of features which have an unclear semantics. By means of a number\ud of examples in μASF and a more mathematical notation a number of these semantic issues are clarified. These\ud examples are helpful for both the compiler designer and the specification writer
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.