Attribute Grammar for Ada

Attribute Grammar for Ada

[norman]

We're interested in constructing a program synthesizer for Ada using the
Cornell Synthesizer generator and an appropriate attribute grammar for Ada.
Does anyone know about the work that's been done with attribute grammars
for Ada? We're particularly interested in finding something in machine-readable
form, if possible. We're also interested in grammars for Anna, the annotation
language for Ada developed at Stanford.

Norman Ramsey
Odyssey Research Associates
(607)-277-2020

Re: Attribute Grammar for Ada

[sdl]

>  We're interested in constructing a program synthesizer for Ada using the
>  Cornell Synthesizer generator and an appropriate attribute grammar for Ada.
>  Does anyone know about the work that's been done with attribute grammars
>  for Ada? 

Check out "An Attribute Grammar for the Semantic Analysis of Ada," by
G.  Goos et al., Springer-Verlag LNCS Vol. 139, 1982.  Describes an
attribute grammar for Ada compilation units.  Ada's separate
compilation facility is not covered.  However, it looked like a good
place to start.  Also, they may have gotten further with it since
1982.

I also seem to remember that System Development Corporation (Paoli,
PA) had been looking into attribute grammars w.r.t. Ada, but I don't
know how far they ever got.

Incidentally, we also have the Cornell Synthesizer Generator in house,
and were thinking about constructing a semantic-directed editor for
Ada using it.  If there are others out there with interesting
applications of the Cornell Synthesizer Generator, we sure would be
interested in hearing from them.


Steven Litvintchouk
MITRE Corporation
Burlington Road
Bedford, MA  01730

Fone:  (617)271-7753
ARPA:  sdl@mitre-bedford
UUCP:  ...{cbosgd,decvax,genrad,ll-xn,philabs,security,utzoo}!linus!sdl