Abstract

Meta programs manipulate structured representations, i.e., abstract syntax trees, of programs. The conceptual distance between the concrete syntax meta-programmers use to reason about programs and the notation for abstract syntax manipulation provided by general pur- pose (meta-) programming languages is too great for many applications. In this paper it is shown how the syntax definition formalism SDF can be employed to fit any meta-programming language with concrete syn- tax notation for composing and analyzing object programs. As a case study, the addition of concrete syntax to the program transformation language Stratego is presented. The approach is then generalized to arbitrary meta-languages.

Citations

190	A meta-environment for generating programming environments - Klint - 1993
132	The syntax definition formalism SDF - reference manual, version 6 - Heering, Hendriks, et al. - 1992
120	Stratego: A language for program transformation based on rewriting strategies - Visser - 2001
118	Modern Compiler Implementation in ML - Appel - 1998
106	Building program optimizers with rewriting strategies - Visser, Benaissa, et al. - 1998
100	Syntax Definition for Language Prototyping - Visser - 1997
100	R.: Programmable syntax macros - Weise, Crew - 1993
95	TXL: A rapid prototyping system for programming language dialects - Cordy, Halpern, et al. - 1988
93	Efficient Annotated Terms - Brand, Jong, et al.
79	Multi-stage programming: its theory and applications - Taha - 1999
78	The ASF+SDF meta-environment: A component-based language development environment - Brand, Deursen, et al. - 2001
70	Language Prototyping: An Algebraic Specification Approach - Deursen, Heering, et al. - 1996
68	Disambiguation filters for scannerless generalized LR parsers - Scheerder, Vinju, et al. - 2002
64	Generation of formatters for context-free languages - Brand, Visser - 1995
46	Playing by the rules: rewriting as a practical optimisation technique - Jones, Hoare, et al. - 2001
42	Extensible syntax with lexical scoping - Cardelli, Matthes - 1994
40	XT: A bundle of program transformation tools - Jonge, Visser, et al. - 2001
37	M.I.: Growing languages with metamorphic syntax macros - Brabrand, Schwartzbach - 2002
14	Grammar-Based definition of Metaprogramming systems - Cameron, Ito - 1984
7	User Defined Syntax - Aasa - 1992
6	JTS: A Tool Suite for Building GenVoca Generators - Batory, Lofaso, et al. - 1998
2	A complete and realistic implementation of quotations in ML - Mauny, Rauglaudre - 1994