The synthesizer generator

syntax specification file Additional language constructs require new phyla and operators to be defined to represent their abstract syntax. Transformations on these constructs should also be placed in the abstract-syntax specification file. 174 Chapter 8. Practical Advice Example. Two new operators, Let and Use, are added to the existing phylum exp to represent let-expressions and uses of bound names, respectively. A new phylum, symb, is also required, to represent the <name> component in a lete expression.

[1]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[2]  David Notkin,et al.  ALOE Users' and Implementors' Guide, , 1981 .

[3]  Daniel G. Bobrow,et al.  An efficient, incremental, automatic garbage collector , 1976, CACM.

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

[5]  Rina S. Cohen,et al.  Automatic generation of near-optimal linear-time translators for non-circular attribute grammars , 1979, POPL.

[6]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[7]  Uwe F. Pleban,et al.  Direct implementation of compiler specifications or the pascal p-code compiler revisited , 1984, POPL '84.

[8]  Mark N. Wegman,et al.  A Program Development Tool , 1984, IBM J. Res. Dev..

[9]  Alan M. Davis,et al.  The design and implementation of a table driven, interactive diagnostic programming system , 1976, CACM.

[10]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[11]  Rod M. Burstall,et al.  Proving Properties of Programs by Structural Induction , 1969, Comput. J..

[12]  F. K. Zadeck,et al.  Attribute propagation by message passing , 1985, SLIPE '85.

[13]  Thomas W. Reps,et al.  Generating Language-Based Environments , 1982 .

[14]  E. Schmidt,et al.  Lex—a lexical analyzer generator , 1990 .

[15]  Gregor Snelting,et al.  The PSG system: from formal language definitions to interactive programming environments , 1986, TOPL.

[16]  R. Stallman EMACS the extensible, customizable self-documenting display editor , 1981, SIGPLAN SIGOA Symposium on Text Manipulation.

[17]  Ray Ford,et al.  A greedy concurrent approach to incremental code generation , 1985, POPL '85.

[18]  Roger Hoover Incremental Graph Evaluation , 1987 .

[19]  Thomas W. Reps,et al.  Incremental Context-Dependent Analysis for Language-Based Editors , 1983, TOPL.

[20]  Scott David Johnson A computer system for checking proofs , 1982 .

[21]  Charles Gregory Nelson,et al.  Techniques for program verification , 1979 .

[22]  Peter B. Henderson,et al.  Continuous execution: the VisiProg environment , 1985, ICSE '85.

[23]  Robert L. Constable,et al.  Proofs as programs , 1985, TOPL.

[24]  Dashing Yeh On incremental evaluation of ordered attributed grammars , 1983, BIT Comput. Sci. Sect..

[25]  Bowen Alpern,et al.  Interactive proof checking , 1984, POPL.

[26]  Susan L. Gerhart,et al.  Correctness-preserving program transformations , 1975, POPL '75.

[27]  Carlo Ghezzi,et al.  Incremental Parsing , 1979, TOPL.

[28]  Wayne Theodore Wilner Declarative semantic definition, as illustrated by a definition of Simula 67 , 1971 .

[29]  Thomas W. Reps,et al.  The Synthesizer Generator Reference Manual , 1989, Texts and Monographs in Computer Science.

[30]  Carlo Ghezzi,et al.  Augmenting Parsers to Support Incrementality , 1980, JACM.

[31]  Ken Kennedy,et al.  Automatic generation of efficient evaluators for attribute grammars , 1976, POPL.

[32]  Scott Kipling Warren The coroutine model of attribute grammar evaluation. , 1976 .

[33]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[34]  Wilfred J. Hansen,et al.  Creation of hierarchic text with a computer display , 1971 .

[35]  Jean H. Gallier,et al.  Building friendly parsers , 1982, POPL '82.

[36]  Thomas Reps,et al.  A syntax-directed programming environment , 1981 .

[37]  Mark Wegman Parsing for structural editors , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[38]  Thomas W. Reps,et al.  Remote attribute updating for language-based editors , 1986, POPL '86.

[39]  Mayer D. Schwartz,et al.  Incremental compilation in Magpie , 1984, SIGPLAN '84.

[40]  Peter Fritzson Preliminary experience from the dice system a distributed incremantal compiling environment , 1984 .