info on formal spec of M2

Article View: comp.lang.modula2

Article #4254

#4254

From: Sean Matthews
Date: Tue, 17 May 1988 22:00

12 lines
870 bytes

a while ago someone mentioned that the modula2 spec was going
to be written in VDM.

Where do I get some details about this

thanks  Se\'an

Se\'an Matthews                   
Dept. of Artificial Intelligence JANET:sean%sin@uk.ac.ed.aiva
University of Edinburgh          ARPA: sean%uk.ac.ed.aiva@nss.cs.ucl.ac.uk
80 South Bridge                  UUCP: ...!mcvax!ukc!aiva!sean
EDINBURGH, EH1 1HN, Scotland

Technical Details

Message-ID: <37@aipna.ed.ac.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!pasteur!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!its63b!aipna!sean

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!pasteur!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!its63b!aipna!sean
From: sean@aipna.ed.ac.uk (Sean Matthews)
Newsgroups: comp.lang.modula2
Subject: info on formal spec of M2
Message-ID: <37@aipna.ed.ac.uk>
Date: 17 May 88 22:00:14 GMT
Reply-To: sean@uk.ac.ed.aipna.UUCP (Sean Matthews)
Organization: Dept. of AI, Edinburgh, UK
Lines: 12