Syntax Definition
Visser
Producing and maintaining parsers for large languages requires a declarative syntax definition formalism from which parsers can be generated. SDF2 is a modular syntax definition formalism that integrates lexical and context-free syntax and supports arbitrary context-free grammars. Since the formalism is declarative, syntax definitions can be used to generate other tools from, e.g., pretty-printers and data type definitions. I developed SDF2 as part of my PhD research at the University of Amsterdam. The language and core tools are maintained and further developed at CWI. SDF is an important component of the StrategoXT toolset. Various tools for generation, transformation, and analysis of SDF syntax definitions are developed as part of StrategoXT. Recently we have been employing SDF to provide concrete syntax for data in host languages such as Stratego, Prolog, and Java.
Publications
Syntax Definition for Language Prototyping
PhD thesis on design and implementation of syntax definition formalisms.SDF
SGLR
Disambiguation
- Using filters for the disambiguation of context-free grammars
- A case study in optimizing parsing schemata by disambiguation filters
- From context-free grammars with priorities to character class grammars
- Disambiguation filters for scannerless generalized LR parsers
- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
Pretty-printing
Concrete Syntax
- Concrete syntax for objects
- Retrofitting the AutoBayes program synthesis system with concrete syntax
- Meta programming with concrete object syntax
SDF in XT
Other Resources
- SDF Wiki has many pointers to SDF related pages
- SDF2
- sdf-tools in StrategoXT