From: sdl@linus.UUCP
Subject: Re: Attribute Grammar for Ada
Date: Tue, 31-Mar-87 22:49:19 EST [thread overview]
Date: Tue Mar 31 22:49:19 1987
Message-ID: <1873@linus.UUCP> (raw)
In-Reply-To: norman@oravax.UUCP's message of 25 Mar 87 16:58:31 GMT
> 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
prev parent reply other threads:[~1987-04-01 3:49 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1987-03-25 16:58 Attribute Grammar for Ada norman
1987-04-01 3:49 ` sdl [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox