* Denotational Semantics for Ada
@ 1993-03-30 5:19 Paul Bailes (P.A.)
0 siblings, 0 replies; only message in thread
From: Paul Bailes (P.A.) @ 1993-03-30 5:19 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1993-03-30 5:19 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1993-03-30 5:19 Denotational Semantics for Ada Paul Bailes (P.A.)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox