… 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.… 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]… 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]… for many applications. In this paper it is shown how the syntax definition formalism …Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta …
GPCE 2002: 299-315 [doi]