Skip to main content
Article thumbnail
Location of Repository

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

By J.A. Bergstra and M.G.J. van den Brand


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

Topics: Wijsbegeerte, rewriting system compiler, language definition, semantics definition language
Year: 2000
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.