* Re: Ada abstract syntax tree, and semantic description
@ 1993-09-01 4:14 dog.ee.lbl.gov!overload.lbl.gov!agate!spool.mu.edu!uwm.edu!linac!uchinews
0 siblings, 0 replies; 2+ messages in thread
From: dog.ee.lbl.gov!overload.lbl.gov!agate!spool.mu.edu!uwm.edu!linac!uchinews @ 1993-09-01 4:14 UTC (permalink / raw)
In article <36872@hacgate.SCG.HAC.COM> liang@abend.hrl (Peter Liang) writes:
> Does anyone know any formal description about constructing an
> abstract syntax tree for parsed ada program, and is there any formal
> semantic description for ada?
this isnt exactly what you asked for, but if you want a pragmatic
and standard way to examine an Ada attributed AST, then check out ASIS
ftp ajpo.sei.cmu.edu
cd /public/asis
ls
--
Alex Blakemore alex@cs.umd.edu NeXT mail accepted
--------------------------------------------------------------
"Without an engaged and motivated human being at the keyboard,
the computer is just another dumb box." William Raspberry
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Ada abstract syntax tree, and semantic description
@ 1993-09-02 19:43 Esther Lumsdon
0 siblings, 0 replies; 2+ messages in thread
From: Esther Lumsdon @ 1993-09-02 19:43 UTC (permalink / raw)
liang@abend.hrl (Peter Liang) writes:
> Does anyone know any formal description about constructing an
>abstract syntax tree for parsed ada program, and is there any formal
>semantic description for ada?
> Thanks for information.
Lecture Notes in Computer Science, _DIANA_ An Intermediate Language for Ada
Edited by G. Goos, W.A. Wulf, A. Evans, Jr., and K. J. Butler
Springer-Verlag publisher, ISBN 3-540-12695-3 and ISBN 0-387-12695-3
This is a revised edition.
--
-- Esther Lumsdon, not speaking for Verdix. esther@verdix.com
"It's time to cut bait and talk turkey. It takes 2 snakes to cross a
puddle. You have to bale hay while the tractor is warm."
---- either H. Ross Perot or Dave Barry
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1993-09-02 19:43 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1993-09-01 4:14 Ada abstract syntax tree, and semantic description dog.ee.lbl.gov!overload.lbl.gov!agate!spool.mu.edu!uwm.edu!linac!uchinews
-- strict thread matches above, loose matches on Subject: below --
1993-09-02 19:43 Esther Lumsdon
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox