Path: utzoo!attcan!uunet!clyde.concordia.ca!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!usc!apple!vsi1!zorch!ditka!qiclab!m2xenix!randy From: randy@m2xenix.UUCP (Randy Bush) Newsgroups: comp.lang.modula2 Subject: Re: Re: VDM & M2 Message-ID: <579@m2xenix.UUCP> Date: 12 Feb 90 21:52:15 GMT References: Organization: Pacific Systems Group, Portland Oregon US Lines: 17 Barry writes: > 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. Ahh, then you agree with Tom that it is not a standard language. Whether it will someday be so is not very helpful to those trying to interpret the Modula-2 DP now. When one gets the Modula-2 DP, is there any easily obtainable documet which defines and describes precisely the notation used in the DP? If so, could you please post info on how we may obtain it esily? Thanks. -- ..!uunet!m2xenix!randy randy@psg.com randy@m2xenix.uucp