Re: Ref. Cornell Program Synthesizer (Re: Is this a new idea?) NO! (Stephen J Bevan)
Thu, 12 Nov 1992 17:43:12 GMT

          From comp.compilers

Related articles
Is this a new idea? (1992-10-28)
Ref. Cornell Program Synthesizer (Re: Is this a new idea?) NO! (1992-11-09)
Re: Ref. Cornell Program Synthesizer (Re: Is this a new idea?) NO! (1992-11-12)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (Stephen J Bevan)
Organization: Department of Computer Science, University of Manchester
Date: Thu, 12 Nov 1992 17:43:12 GMT
Keywords: syntax, bibliography
References: 92-10-113 92-11-035 (Richard Brooksby) writes:
      There seemed to be quite a lot of interest in synyax-directed editing
      and incremental compilation using attribute grammars about ten years
      ago. How much of this work has survived to the present day? How much
      of it has proved really useful?

CSG is still being worked on as far as I know, but IMHO more interesting
syntax directed editors are Pan [1] and PSG [2,3]. To me both these
improve on what was done with attribute grammars not least by replacing
attribute gramars them with more readable languages (IMHO attribute
grammars are the assembler of definition methods). If you have a
theoretical bent, the ideas behind the PSG system are interesting [4]. I
should also mention the CENTAUR system produced at INRIA, however I don't
have a good reference for it, though you might try [5] for some


[1] @phdthesis
{ Ballance89
, author= {Robert Ballance}
, title= {Syntactic and Semantic Checking in Language-Based Editing Systems}
, school= {University of California, Berkeley}
, year= {1989}
, note= {(also technical report UCB/CSD89/548)}

[2] @article
{ BahlkeSnelting86
, author= {Rolfe Bahlke and Gregor Snelting}
, title= {The {PSG} {S}ystem: {F}rom {F}ormal {L}anguage {D}efinition to
{I}nteractive {P}rogramming {E}nvironments}
, journal= toplas
, year= {1986}
, volume= {8}
, number= {4}
, pages= {547--576}
, month= oct

[3] @inproceedings
{ GroschSnelting90
, author= {Franz-Josef Grosch and Gregor Snelting}
, title= {Inference-Based Overloading Resolution for ADA}
, booktitle= {Programming Language Implementations and Logic Programming}
, year= {1990}
, editor= {P. Deransart and J. Maluszyn{\'n}ski}
, pages= {30--44}
, publisher= {SpringerVerlag}
, note= {LNCS 456}

[4] @article
{ Snelting91
, author = {Gregor Snelting}
, title= {The calculus of context relations}
, journal= acta
, year= {1991}
, volume= {28}
, number= {5}
, pages= {411--445}

[5] @article
{ Kahn-etal83
  author= {G. Kahn, B. Lang B. Mel{\'e}s{\`e} and E. Morcos}
, title= {Metal: A formalism to specify formalisms}
, journal= ScienceOfComputerProgramming
, year= {1983}
, volume= {3}
, number= {2}
, pages= {151--188}

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.