Incremental programming language development

One of the well-known properties of software systems is that they are subject to changes. Incremental software development enables making such program changes in a non-destructive manner. In the area of programming language definition the language designer/implementer wants to include new language features incrementally as the programming language evolves. In the paper our approach to incremental programming language development is presented. The proposed approach has been successfully used in the development of real programming languages, which confirms feasibility in practice.

[1]  Görel Hedin,et al.  JastAdd--an aspect-oriented compiler construction system , 2003, Sci. Comput. Program..

[2]  Paul Klint,et al.  Semantics of programming languages: a tool-oriented approach , 1999, SIGP.

[3]  Arie van Deursen,et al.  The ASF+SDF Meta-environment: A Component-Based Language Development Environment , 2001 .

[4]  Viljem Zumer,et al.  LISA: An Interactive Environment for Programming Language Development , 2002, CC.

[5]  PaakkiJukka Attribute grammar paradigmsa high-level methodology in language implementation , 1995 .

[6]  Peter D. Mosses,et al.  Composing programming languages by combining action-semantics modules , 2001, Sci. Comput. Program..

[7]  Deryck Forsyth Brown,et al.  ACTRESS: An Action Semantics Directed Compiler Generator (Summary) , 1991, Functional Programming.

[8]  Peter Lee Realistic compiler generation , 1989, Foundations of Computing Series.

[9]  Görel Hedin,et al.  Reference Attributed Grammars , 2000, Informatica.

[10]  Jens Palsberg,et al.  Position statements on strategic directions for research on programming languages , 1997, SIGP.

[11]  Philipp W. Kutter,et al.  Montages: engineering of computer languages , 2004 .

[12]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[13]  Viljem Zumer,et al.  Design and implementation of simple object description language , 2001, SAC.

[14]  David A. Schmidt On the need for a popular formal semantics , 1997, SIGP.

[15]  Viljem Zumer,et al.  Multiple Attribute Grammar Inheritance , 2000, Informatica.

[16]  B Lorho Methods and tools for compiler construction , 1984 .

[17]  Viljem Zumer,et al.  AspectCOOL: an experiment in design and implementation of aspect-oriented language , 2001, SIGP.

[18]  Robert D. Tennent,et al.  Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.

[19]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[20]  Maria João Varanda Pereira,et al.  Automatic Generation of Language-based Tools , 2002, Electron. Notes Theor. Comput. Sci..

[21]  Daniel M. Yellin,et al.  Composable attribute grammars: support for modularity in translator design and implementation , 1992, POPL '92.

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

[23]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[24]  Antero Taivalsaari,et al.  On the notion of inheritance , 1996, CSUR.

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

[26]  Uwe Kastens The GAG-System - A Tool for Compiler Construction , 1983, Method and tools for compiler construction.