🚀 go-pugleaf

Tom Reid writes:
>>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.

Tom states that VDM is a "non-standard language".   VDM is currently
being standardised by ISO, and the VDM standard will define a language
which currently has the name VDM-SL.

Section 0 Page 1 of the Draft Proposal of the Modula-2 Standard
(DP10514, aka D106, aka N336, ...) states that "it is intended that the style
[of the VDM used in the Standard] be brought in line with the VDM-SL
standard in due course".
==
Barry Cornelius
==
Computer Science Group, School of Engineering and Applied Science,
University of Durham, Durham, DH1 3LE, England
              JANET:       Barry.Cornelius@uk.ac.durham
              Internet:    Barry.Cornelius%durham.ac.uk@cunyvm.cuny.edu
              UUCP:        ...ukc!cs.nott.ac.uk!bjc
              BITNET/EARN: Barry.Cornelius%DURHAM@AC.UK
Tel: Durham (091 or +44 91) 374 2638, Secretary: 374 2630, Fax: 374 3741