Path: 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

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."