Path: utzoo!attcan!uunet!ingr!nijmeg!tecserve!st_nik!burr
From: burr@st_nik.UUCP (For Steve Burr)
Newsgroups: comp.lang.misc
Subject: Re: Relationship between C and C++
Summary: Denotational semantics for ADA - reference.
Message-ID: <10049@st_nik.UUCP>
Date: 27 Mar 90 11:26:25 GMT
References: <19255@megaron.cs.arizona.edu>
Organization: Intergraph UK Ltd. (SWINDON)
Lines: 15

In article <19255@megaron.cs.arizona.edu>, gudeman@cs.arizona.edu (David Gudeman) writes:
> In article  <4869@vanuata.cs.glasgow.ac.uk> jack@cs.glasgow.ac.uk (Jack Campin) writes:
> >[about C style pointers]
> >Thirdly, the aliasing it enables is a semantic mess.  If anyone claims
> >different, let's see your denotational model of ANSI C.
> 
> Sure, but first show me your denotational model of Ada.
> 
Certainly, A formal specification of ADA is described using
the Vienna Development Method in:

"Towards a formal definition of ADA", D.Bjorner et al
Springer Verlag.

Regards, Steve Burr