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=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: Tue, 26 Jan 93 14:50:13 CST
From: dritz@antares.mcs.anl.gov (Ken Dritz)
Subject: Request pointers to research
Message-ID: <9301262050.AA14776@papasun.mcs.anl.gov>
List-Id: <comp.lang.ada>

I'd like to become familiar with research in formal methods as related to Ada.
I would appreciate pointers (either posted to the net, or sent as email to me)
to work in

   o  formal semantics of Ada, particularly using denotational semantics
      (has the Esprit project in Europe touched on this?);
   o  verification, as related to proving the correctness of Ada
      programs or Ada compilers;
   o  deriving Ada from higher-level description languages.

Anything would help, but bibliographic references that I could track down would
be the most useful.

Thanks,
Ken Dritz (dritz@mcs.anl.gov)