@inproceedings{Vis95.sdf, author = {Eelco Visser}, title = {A Family of Syntax Definition Formalisms}, booktitle = {{ASF+SDF'95}. A Workshop on Generating Tools from Algebraic Specifications}, editor = {{\sortunder{Brand}}van den Brand, M. G. J. and others}, year = {1995}, month = {May}, pages = {89--126}, publisher = {Technical Report P9504, Programming Research Group, University of Amsterdam}, url = {http://ftp.wins.uva.nl/pub/programming-research/reports/1995/P9504/7.html}, abstract = {In this paper we design a syntax definition formalism as a family of formalisms. Starting with a small kernel, several features for syntax definition are designed orthogonally to each other. This provides a framework for constructing new formalisms by adapting and extending old ones. The formalism is developed with the algebraic specification formalism ASF+SDF. It provides the following features: lexical and context-free syntax, variables, disambiguation by priorities, regular expressions, character classes and modular definitions. New are the uniform treatment of lexical syntax, context-free syntax and variables, the treatment of regular expressions by normalization yielding abstract syntax without auxiliary sorts, regular expressions as result of productions and modules with hidden imports and renamings.}, urlpsgz = {http://www.cs.uu.nl/people/visser/ftp/P9504.ps.gz}, pubcat = {workshop}, project = {ASF+SDF and SDF}, category = {refereed}, }