weber@gmdzi.UUCP (Frank Weber) (07/24/90)
I am looking for a complete formal description of the VDM dialect Meta-IV (more precise: DDC/Meta-IV). Could anyone provide me with some references, please? Thank you. Frank Weber ------------------------------------------------------------------------------ Frank Weber GMD, Schloss Birlinghoven Postfach 1240 D-5205 Sankt Augustin West Germany Phone: +49-2241-14-2351 E-Mail: weber@gmdzi.gmd.de
cliff@cs.man.ac.uk (Cliff Jones) (07/29/90)
From brianm@cs.man.ac.uk Sun Jul 29 08:26:58 1990
Return-Path: <brianm@r8a.cs.man.ac.uk>
Date: Thu, 26 Jul 90 19:37:23 BST
From: brianm@cs.man.ac.uk
To: weber@gmdzi.gmd.de
Cc: peter@ifad.dk, db@iddth.dk, Cliff@cs.man.ac.uk
Subject: Re: seeking formal description of DDC/Meta IV
Frank,
Contact Peter Gorm Larsen <peter@ifad.dk> who has been working on
BSI-VDM formal semantics for quite a while now. He also knows about
DDC/Meta IV. You could also approach Dines Bjorner <db@iddth.dk>
directly.
I wrote the semantic definition for the STC VDM language a long
time back - so I have been involved in the BSI-VDM effort also.
However, I'm intregued you want to go back to DDC/Meta IV and not
forward to BSI/VDM or RAISE or MetaSoft or Z or COLD-K or ...
//////////////////////////////////////////////////////////////////////////////
/
Dr. Brian Monahan /
/
Department of Computer Science / Janet : brianm@uk.ac.man.cs
The University of Manchester / bqm@uk.ac.man.cs
Oxford Road / Phone : (+44)-61-275-6137
Manchester M13 9PL / FAX : (+44)-61-275-6280
/
//////////////////////////////////////////////////////////////////////////////