* Re: Attribute Grammar for Ada
1987-03-25 16:58 Attribute Grammar for Ada norman
@ 1987-04-01 3:49 ` sdl
0 siblings, 0 replies; 2+ messages in thread
From: sdl @ 1987-04-01 3:49 UTC (permalink / raw)
> 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
^ permalink raw reply [flat|nested] 2+ messages in thread