From: paul@cs.uq.oz.au (Paul Bailes (P.A.))
Subject: Denotational Semantics for Ada
Date: 30 Mar 93 05:19:03 GMT
Date: 1993-03-30T05:19:03+00:00 [thread overview]
Message-ID: <12686@uqcspe.cs.uq.oz.au> (raw)
I'm looking for references to formal (denotational) definitions
for Ada. Any pointers, please? (I'll summarise and post any mail I get.)
In particular, I have what appears to be a DoD report, nearly 1" thick,
but without cover, author/title details. What is it?
Thanks in advance,
Paul Bailes
--
Paul A Bailes
paul@cs.uq.oz.au
reply other threads:[~1993-03-30 5:19 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