From: dritz@antares.mcs.anl.gov (Ken Dritz)
Subject: Request pointers to research
Date: Tue, 26 Jan 93 14:50:13 CST [thread overview]
Message-ID: <9301262050.AA14776@papasun.mcs.anl.gov> (raw)
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)
reply other threads:[~1993-01-26 20:50 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