Article View: comp.lang.modula2
Article #4920Re: VDM & M2
From: rsutc
Date: Fri, 09 Feb 1990 17:52
Date: Fri, 09 Feb 1990 17:52
11 lines
1015 bytes
1015 bytes
The British were very convincing as they argued that VDM was appropriate for the effort. VDM is itself the subject of a standardization effort. The English of D106 is intended to supplement the VDM, not to be equivalent to it. Rick Sutcliffe Associate Professor \ (89-90 only) Visitor Computing Science & Mathematics \ School of Computing Science Trinity Western University \ Simon Fraser University 7600 Glover Rd., \ Burnaby, B.C. Canada V5A 1S6 Langley B.C. Canada V3A 4R9 e-mail: Rick_Sutcliffe@cc.sfu.ca OR Compuserve 76475,3406 Chairman WG13 (Modula-2) Canada
Technical Details
Message-ID:
<INFO-M2%90020914363939@UCF1VM.BITNET>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!usenet.ins.cwru.edu!tut.cis.ohio-state.edu!ucbvax!CS.SFU.CA!rsutcShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!usenet.ins.cwru.edu!tut.cis.ohio-state.edu!ucbvax!CS.SFU.CA!rsutc From: rsutc@CS.SFU.CA (rsutc) Newsgroups: comp.lang.modula2 Subject: Re: VDM & M2 Message-ID: <INFO-M2%90020914363939@UCF1VM.BITNET> Date: 9 Feb 90 17:52:06 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@PSUVM.PSU.EDU> Organization: The Internet Lines: 11