From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ff9752dd61298613,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1993-03-30 07:03:19 PST
Path: 
 sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!erebus.cs.uq.oz.au!paul
From: paul@cs.uq.oz.au (Paul Bailes (P.A.))
Newsgroups: comp.lang.ada
Subject: Denotational Semantics for Ada
Message-ID: <12686@uqcspe.cs.uq.oz.au>
Date: 30 Mar 93 05:19:03 GMT
Sender: news@cs.uq.oz.au
Reply-To: paul@cs.uq.oz.au
Organization: Computer Science Department, The University of Queensland,
 Brisbane, Australia
Date: 1993-03-30T05:19:03+00:00
List-Id: <comp.lang.ada>

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