Domain specific meta languages

There are several di erent problem domains in the implementation of language processing tools. The manipulation of textual data when generating code, creation and inspection of environments during type checking, and analysis of dependency graphs during program optimization and parallelization are but a few. The use of domain speci c languages to solve these sub problems can reduce the complexity of a tools speci cation. We argue this point in the realm of attribute grammars and use domain speci c meta languages to write attribute de nitions.

[1]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[2]  Thomas Reps,et al.  The Synthesizer Generator: A System for Constructing Language-Based Editors , 1988 .

[3]  Simon L. Peyton Jones,et al.  Aspect-Oriented Compilers , 1999, GCSE.

[4]  Charles Simonyi,et al.  Intentional Programming - Innovation in the Legacy Age , 1996 .

[5]  Peter J. Brown.  Using a macro processor to aid software implementation , 1969, Comput. J..

[6]  Maurice V. Wilkes,et al.  An Experiment with a Self-compiling Compiler for a Simple List-processing Language , 1964 .

[7]  Kai Koskimies,et al.  Compiler construction using attribute grammars , 1982, SIGPLAN '82.

[8]  Didier Parigot,et al.  Design, implementation and evaluation of the FNC-2 attribute grammar system , 1990, PLDI '90.

[9]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[10]  Thomas Johnsson,et al.  Attribute grammars as a functional programming paradigm , 1987, FPCA.

[11]  Anthony M. Sloane,et al.  Eli: a complete, flexible compiler construction system , 1992, CACM.

[12]  Eric Van Wyk,et al.  Semantic processing by macro processors , 1998 .

[13]  Andrew S. Tanenbaum,et al.  A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler , 1976, IEEE Transactions on Software Engineering.

[14]  Robert Giegerich,et al.  Attribute coupled grammars , 1984, SIGPLAN '84.

[15]  William M. Waite,et al.  Building a Mobile Programming System , 1970, Computer/law journal.

[16]  Gordon V. Cormack,et al.  Modular Attribute Grammars , 1990, Comput. J..

[17]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[18]  Thomas W. Reps,et al.  The synthesizer generator , 1984, SDE 1.

[19]  Uwe Kastens,et al.  GAG: A Practical Compiler Generator , 1982, Lecture Notes in Computer Science.

[20]  Stephen R. Adams.  Modular grammars for programming language prototyping , 1991 .