Article View: comp.lang.modula2
Article #4937Re: Re: VDM & M2
From: Randy Bush
Date: Mon, 12 Feb 1990 21:52
Date: Mon, 12 Feb 1990 21:52
17 lines
1092 bytes
1092 bytes
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
Technical Details
Message-ID:
<579@m2xenix.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!clyde.concordia.ca!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!usc!apple!vsi1!zorch!ditka!qiclab!m2xenix!randyReferences:
<emu-ec14.lg.1990.0209.132104.cok2@uk.ac.dur.mts>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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: <emu-ec14.lg.1990.0209.132104.cok2@uk.ac.dur.mts> Organization: Pacific Systems Group, Portland Oregon US Lines: 17