ESDF: A proposal for a more flexible SDF handling

Authors

Akim Demaille, Thomas Largillier, Nicolas Pouillard

Place

Utrecht University, Netherland

Type

misc

Date

2005-05-01

Abstract

By the means on its annotations, Syntax Definition Formalism (SDF) seems to be extensible: the user is tempted to tailor its grammar syntax by adding new annotation kinds. Unfortunately the standard SDF crunching tools from Stratego/XT do not support the extension of SDF, and the user has to develop the whole set of tools for her home grown extension(s). We present the SDF tool set that provides ``weak genericity with respect to the grammar grammar: support for arbitrary SDF annotations. We would like to contribute it to Stratego/XT since its components subsume their stock peers. Finally, we present a set of four extensions we find useful.

Bibtex (lrde.bib)

@Misc{		  pouillard.05.sud,
  author	= {Akim Demaille and Thomas Largillier and Nicolas
		  Pouillard},
  title		= {{ESDF}: A proposal for a more flexible {SDF} handling},
  note		= {Communication to Stratego Users Day 2005},
  year		= 2005,
  address	= {Utrecht {U}niversity, {N}etherland},
  month		= may,
  project	= {Transformers},
  abstract	= {By the means on its annotations, Syntax Definition
		  Formalism (SDF) seems to be extensible: the user is tempted
		  to tailor its grammar syntax by adding new annotation
		  kinds. Unfortunately the standard SDF crunching tools from
		  Stratego/XT do not support the extension of SDF, and the
		  user has to develop the whole set of tools for her home
		  grown extension(s). We present the SDF tool set that
		  provides ``weak'' genericity with respect to the grammar
		  grammar: support for arbitrary SDF annotations. We would
		  like to contribute it to Stratego/XT since its components
		  subsume their stock peers. Finally, we present a set of
		  four extensions we find useful.}
}