Article View: comp.lang.modula2
Article #4507Re: Pascal dying out?
From: Martyn Thomas
Date: Fri, 11 Nov 1988 10:03
Date: Fri, 11 Nov 1988 10:03
13 lines
1174 bytes
1174 bytes
In article <INFO-M2%88110812332319@UCF1VM> you write: >Can someone give me information on what This VDM that the ISO commitee is using > is and what it can do....A referance would also be helpful. The Vienna Development Method (VDM) uses discrete mathematics to build mathematical models of the semantics of programming languages (or computer systems). It originated at the IBM Vienna Labs in the mid 70s. See: Systematic Software Development Using VDM; CB Jones; Prentice-Hall (Publisher). -- Martyn Thomas, Praxis plc, 20 Manvers Street, Bath BA1 1PX UK. Tel: +44-225-444700. Email: ...!uunet!mcvax!ukc!praxis!mct
Technical Details
Message-ID:
<5814.8811111003@hilbert.praxis.co.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!uflorida!gatech!bloom-beacon!ucbvax!PRAXIS.UUCP!mctReferences:
<INFO-M2%88110812332319@UCF1VM>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!uflorida!gatech!bloom-beacon!ucbvax!PRAXIS.UUCP!mct From: mct@PRAXIS.UUCP (Martyn Thomas) Newsgroups: comp.lang.modula2 Subject: Re: Pascal dying out? Message-ID: <5814.8811111003@hilbert.praxis.co.uk> Date: 11 Nov 88 10:03:45 GMT References: <INFO-M2%88110812332319@UCF1VM> Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Info-Modula2 Distribution List <INFO-M2%UCF1VM.bitnet@jade.berkeley.edu> Organization: Praxis Systems plc, Bath, UK Lines: 13