* Formal Semantics of Ada 83
@ 1992-04-20 13:33 dog.ee.lbl.gov!overload.lbl.gov!agate!usenet.ins.cwru.edu!magnus.acs.ohio
0 siblings, 0 replies; only message in thread
From: dog.ee.lbl.gov!overload.lbl.gov!agate!usenet.ins.cwru.edu!magnus.acs.ohio @ 1992-04-20 13:33 UTC (permalink / raw)
In the 1980s there were, I believe, several projects
looking at the problem of producing a formal semantics for
Ada 83. What were these projects? Did they cover full Ada 83?
How successful were they?
I would be grateful for any information on the above.
Please e-mail your responses to me at: yse@minster.york.ac.uk
Thanks in anticipation.
David Jordan
---------------------------------------------------------------------
David Jordan Phone: +44 (0)904 433741
Technical Products Manager Fax: +44 (0)904 433744
York Software Engineering Limited JANET: yse@uk.ac.york.minster
University of York INTERNET: yse@minster.york.ac.uk
York YO1 5DD
England
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1992-04-20 13:33 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1992-04-20 13:33 Formal Semantics of Ada 83 dog.ee.lbl.gov!overload.lbl.gov!agate!usenet.ins.cwru.edu!magnus.acs.ohio
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox