Re: Ref. Cornell Program Synthesizer (Re: Is this a new idea?) NO!

richard@harlqn.co.uk (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
references.


bevan


[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}
}
--

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