ESDF: A Proposal for a More Flexible SDF Handling

By the means on its annotations, Syntax Defini- tionFormalism(SDF)seemstobeextensible: the user is tempted to tailor its grammar syntax by adding new annotation kinds. Unfortunately the standard SDF crunching tools from Strate- go/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 Extended SDF (ESDF) tool set that provides "weak" genericity with respect to the grammar grammar: support for arbitrary SDF annota- tions. We would like to contribute it to Strate- go/XTsinceitscomponentssubsumetheirstock peers. Finally, we present a set of four exten- sions we find useful.