… Syntax definitions are pervasive in modern software systems, and serve … generators pose restrictions on syntax definitions that follow from …, and compositionality of syntax definitions. The pureness and declarativity of syntax definitions …
OOPSLA 2010: 918-932 [doi]… is the definition of its syntax. The subject of this thesis are new formalisms and techniques that support the development and prototyping of syntax definitions … of context-free languages. (2) Design and implementation of a new syntax definition …
PhD thesis, University of Amsterdam, September 1997.… In this paper we design a syntax definition formalism as a family of formalisms. Starting with a small kernel, several features for syntax definition …: lexical and context-free syntax, variables, disambiguation by priorities …
ASF+SDF 1995:… of syntax definition formalisms. The kernel of this family of formalisms is formed … definition of lexical and context-free syntax, variables, disambiguation … of these extensions is the syntax definition formalism SDF.
This chapter …
Technical Report P9706, 1997.… SDF3 is a syntax definition formalism that extends plain context-free grammars … the multi-purpose interpretation of syntax definitions, including derivation …, character-level grammars, permissive syntax, layout constraints, formatting …
SEFM 2020: 1-23 [doi]… of the usage of two-level grammars for polymorphic syntax definition, a restriction …Context-free grammars are used in several algebraic specification formalisms instead of first-order signatures for the definition of the structure of algebras …
TCS, 199(1-2):57-86, 1998. [doi]… SDF is a formalism for the definition of syntax which is comparable to BNF … implementation which accepts arbitrary context-free syntax definitions. SDF can … of lexical and abstract syntax. Its design and implementation are tailored towards …
SIGPLAN, 24(11):43-75, 1989. [doi]… We describe FST - a Framework for SDF Transformation. FST supports the adaptation (in a broad sense) of grammars based on the syntax definition formalism SDF … language for grammar transformations because it is an expressive syntax definition …
ENTCS, 44(2):9-33, 2001. [doi]… syntax in the Syntax Definition Formalism SDF, which is implemented … the modular extensibility of our definition with syntax extensions taken from current … languages with different lexical syntax leads to considerable complexity in the lexical …
OOPSLA 2006: 209-228 [doi]… Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. It provides a comprehensive environment that integrates syntax definition, program transformation …
OOPSLA 2010: 237-238 [doi]