Path: utzoo!attcan!uunet!mailrus!tut.cis.ohio-state.edu!ucbvax!CTC.CONTEL.COM!reid From: reid@CTC.CONTEL.COM (Tom Reid x4505) Newsgroups: comp.lang.modula2 Subject: Re: VDM & M2 Message-ID: <9002081648.AA06395@ctc.contel.com> Date: 8 Feb 90 16:48:48 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Modula2 List Organization: The Internet Lines: 26 >From: Alex Bewley > > I have seen fleeting mentions of Modula having been defined in VDM. > I have been doing a little reading about formal specifications for > complex systems and VDM came up. > Does anyone have examples of VDM code? Especially as it pertains to > languages. I don't want this to be smart-assed, but the new standard has more VDM in it than any mere mortal could wish to read in a millennium. (And the English translation is right next to it.) I appreciate what the advocates of VDM are trying to do but using a non-standard language to try to define an international language standard is stretching things. Get the D106. On a side note. Michael Feldman had to reply to me via the group because he said that my return e-mail address was not included in my posting. I cannot verify this since the mailer does not send me a copy of the messages I send. Can the Modula-2 mailer be changed to echo a copy to the sender? That way, a sender can be sure that the message was forwarded by the exploder. (Of course, I won't know if anyone received this unless someone replies to it!!! :->) Tom.