norman@oravax.UUCP.UUCP (03/25/87)
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
sdl@linus.UUCP (04/01/87)
> 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