From: dog.ee.lbl.gov!overload.lbl.gov!agate!usenet.ins.cwru.edu!magnus.acs.ohio
Subject: Formal Semantics of Ada 83
Date: 20 Apr 92 13:33:59 GMT [thread overview]
Message-ID: <703776839.8862@minster.york.ac.uk> (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
reply other threads:[~1992-04-20 13:33 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox