Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!DURHAM.AC.UK!Barry.Cornelius From: Barry.Cornelius@DURHAM.AC.UK Newsgroups: comp.lang.modula2 Subject: Re: Re: VDM & M2 Message-ID: Date: 9 Feb 90 13:21:04 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Modula2 List Organization: The Internet Lines: 25 Tom Reid writes: >>I don't want this to be smart-assed, but the new standard has more VDM >>in it than any mere mortal could wish to read in a millennium. (And the >>English translation is right next to it.) I appreciate what the advocates >>of VDM are trying to do but using a non-standard language to try to >>define an international language standard is stretching things. Tom states that VDM is a "non-standard language". VDM is currently being standardised by ISO, and the VDM standard will define a language which currently has the name VDM-SL. Section 0 Page 1 of the Draft Proposal of the Modula-2 Standard (DP10514, aka D106, aka N336, ...) states that "it is intended that the style [of the VDM used in the Standard] be brought in line with the VDM-SL standard in due course". == Barry Cornelius == Computer Science Group, School of Engineering and Applied Science, University of Durham, Durham, DH1 3LE, England JANET: Barry.Cornelius@uk.ac.durham Internet: Barry.Cornelius%durham.ac.uk@cunyvm.cuny.edu UUCP: ...ukc!cs.nott.ac.uk!bjc BITNET/EARN: Barry.Cornelius%DURHAM@AC.UK Tel: Durham (091 or +44 91) 374 2638, Secretary: 374 2630, Fax: 374 3741