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
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.