Skip to topic | Skip to bottom


EelcoVisser.SyntaxDefinitionr1.11 - 10 Mar 2008 - 10:37 - EelcoVisser

Start of topic | Skip to actions

Syntax Definition


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.


Syntax Definition for Language Prototyping

PhD thesis on design and implementation of syntax definition formalisms.





Concrete Syntax


Other Resources


An (incomplete) bibliography of SDF.

Object not found!

The requested URL was not found on this server.

If you entered the URL manually please check your spelling and try again.

If you think this is a server error, please contact the webmaster.

Error 404
Apache/2.4.33 (Unix) OpenSSL/1.0.2o

Edit | Attach | Printable | Raw | More topic actions
Revisions: | r1.11 | > | r1.10 | > | r1.9 | Page history | Backlinks
You are here: EelcoVisser > ResearchInterests > ProgramTransformation > SyntaxDefinition

to top

Copyright © 2003-2018, Software Engineering Research Group, Delft University of Technology, The Netherlands