From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!brl-adm!seismo!gatech!linus!sdl
From: sdl@linus.UUCP
Newsgroups: comp.lang.ada
Subject: Re: Attribute Grammar for Ada
Message-ID: <1873@linus.UUCP>
Date: Tue, 31-Mar-87 22:49:19 EST
Article-I.D.: linus.1873
Posted: Tue Mar 31 22:49:19 1987
Date-Received: Sat, 4-Apr-87 04:57:44 EST
References: <8703251658.AA03669@oravax.UUCP>
Distribution: world
Organization: The MITRE Corp., Bedford, MA
In-reply-to: norman@oravax.UUCP's message of 25 Mar 87 16:58:31 GMT
Posting-Front-End: GNU Emacs 18.40.1 of Fri Mar 20 1987 on linus (berkeley-unix)
List-Id: <comp.lang.ada>


>  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