Re: Re: Re: VDM & M2

Article View: comp.lang.modula2

Article #4991

#4991

From: Randy Bush
Date: Thu, 22 Feb 1990 08:40

7 lines
773 bytes

I am more confused (no comments from peanut gallery).  Surely, you do not
intend to imply that, in order to have a published definition of the notation
being used in the Modula-2 standard, it will wait for the VDM standardization
process (which will take how many years)?

-- 
..!uunet!m2xenix!randy   randy@psg.com   randy@m2xenix.uucp

Technical Details

Message-ID: <1990Feb22.084017.20698@m2xenix.psg.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!jarthur!bridge2!mips!daver!ditka!qiclab!m2xenix!randy

References: <emu-ec14.lg.1990.0216.182259.cok2@uk.ac.dur.mts>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!jarthur!bridge2!mips!daver!ditka!qiclab!m2xenix!randy
From: randy@m2xenix.psg.com (Randy Bush)
Newsgroups: comp.lang.modula2
Subject: Re: Re: Re: VDM & M2
Message-ID: <1990Feb22.084017.20698@m2xenix.psg.com>
Date: 22 Feb 90 08:40:17 GMT
References: <emu-ec14.lg.1990.0216.182259.cok2@uk.ac.dur.mts>
Organization: Pacific Systems Group, Portland Oregon US
Lines: 7

Reply to Parent Message