Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-modula-2
From: wyant@APOLLO.UUCP (Geoffrey Wyant)
Newsgroups: net.lang.mod2
Subject: semantics of modula-2 ?
Message-ID: <8602270448.AA16604@uw-beaver.arpa>
Date: Wed, 26-Feb-86 08:46:53 EST
Article-I.D.: uw-beave.8602270448.AA16604
Posted: Wed Feb 26 08:46:53 1986
Date-Received: Fri, 28-Feb-86 22:00:53 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 9


Has anyone done a (denotational) sematic definition of modula-2 ?



                        Thanks,

                        Geoff Wyant
-------