🚀 go-pugleaf

>From: Alex Bewley <BOTCHAIR%UOGUELPH.BITNET@PSUVM.PSU.EDU>
>
>    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.