From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 20 Apr 92 13:33:59 GMT
From: dog.ee.lbl.gov!overload.lbl.gov!agate!usenet.ins.cwru.edu!magnus.acs.ohio
-state.edu!zaphod.mps.ohio-state.edu!qt.cs.utexas.edu!yale.edu!jvnc.net!darwin.
sura.net!wupost!news.utdallas.edu
Subject: Formal Semantics of Ada 83
Message-ID: <703776839.8862@minster.york.ac.uk>
List-Id: <comp.lang.ada>

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