VDM & M2

Article View: comp.lang.modula2

Article #4913

#4913

From: Alex Bewley
Date: Thu, 08 Feb 1990 01:02

12 lines
801 bytes

    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.

      Alex

---------------------------------------------------
BOTCHAIR@UOGUELPH
Alex Bewley -- Just this guy...

Technical Details

Message-ID: <INFO-M2%90020720131724@UCF1VM.BITNET>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!snorkelwacker!tut.cis.ohio-state.edu!ucbvax!UOGUELPH.BITNET!BOTCHAIR

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!snorkelwacker!tut.cis.ohio-state.edu!ucbvax!UOGUELPH.BITNET!BOTCHAIR
From: BOTCHAIR@UOGUELPH.BITNET (Alex Bewley)
Newsgroups: comp.lang.modula2
Subject: VDM & M2
Message-ID: <INFO-M2%90020720131724@UCF1VM.BITNET>
Date: 8 Feb 90 01:02:42 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@PSUVM.PSU.EDU>
Organization: The Internet
Lines: 12