Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment

Author

Ralf Lämmel and Guido Wachsmuth

Abstract

We describe FST---a \emph{F}ramework for \emph{S}DF \emph{T}ransformation. FST\ supports the adaptation (in a broad sense) of grammars based on the syntax definition formalism SDF. The executable specification of FST is based on the ASF+SDF Meta-Environment. Grammar transformations form an important concept of grammar reengineering, implementation, recovery and others. Tool support for grammar transformations is essential to automate the corresponding processes. We have chosen SDF as target language for grammar transformations because it is an expressive syntax definition formalism which does not just cover BNF and extended BNF but also constructs for modularisation and disambiguation. The algebraic specification of the framework is immediately operational in the ASF+SDF Meta-Environment.

Bibtex entry

@inproceedings{LW01,
 author = "Ralf L{\"a}mmel and Guido Wachsmuth",
 title = "{Transformation of SDF syntax definitions
           in the ASF+SDF Meta-Environment}",
 editor = "Mark van den Brand and Didier Parigot",
 month = apr,
 year = 2001,
 booktitle = "{Proceedings of the First Workshop on Language Descriptions,
               Tools and Applications (LDTA'01), Genova, Italy, April 7,
               2001, Satellite event of ETAPS'2001}",
 publisher = "Elsevier Science",
 series = "ENTCS",
 volume = "44",
 issue = "2",
}

Download paper

Postscript