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=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	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!ames!ucbcad!ucbvax!oravax.UUCP!norman
From: norman@oravax.UUCP.UUCP
Newsgroups: comp.lang.ada
Subject: Attribute Grammar for Ada
Message-ID: <8703251658.AA03669@oravax.UUCP>
Date: Wed, 25-Mar-87 11:58:31 EST
Article-I.D.: oravax.8703251658.AA03669
Posted: Wed Mar 25 11:58:31 1987
Date-Received: Wed, 1-Apr-87 07:25:56 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
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? 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