Question about VDM & M2 standard

Article View: comp.lang.modula2

Article #4179

#4179

From: Alan Wexelblat
Date: Wed, 13 Apr 1988 13:38

13 lines
980 bytes

The following in Robert Firth's message caught my eye:

> ...it would remove about 12 PAGES of VDM in the draft standard,...

Could someone please tell me what VDM means in this context and how it
is being used in the draft standard?  Email is fine, since I suspect
this isn't of great interest to the entire list.  Thanks!

--Alan Wexelblat
ARPA: WEX@MCC.COM
UUCP: {harvard, gatech, pyramid, &c.}!sally!im4u!milano!wex

The Pentagon has "fire and forget" systems; I have "file and forget."

Technical Details

Message-ID: <8804131338.AA08331@banzai-inst.SW.MCC.COM>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!SW.MCC.COM!wex

References: <5013@aw.sei.cmu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!SW.MCC.COM!wex
From: wex@SW.MCC.COM (Alan Wexelblat)
Newsgroups: comp.lang.modula2
Subject: Question about VDM & M2 standard
Message-ID: <8804131338.AA08331@banzai-inst.SW.MCC.COM>
Date: 13 Apr 88 13:38:20 GMT
References: <5013@aw.sei.cmu.edu>
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: Info-Modula2 Distribution List <INFO-M2%UCF1VM.bitnet@jade.berkeley.edu>
Organization: The Internet
Lines: 12

Reply to Parent Message