Seeking formal description of Meta-IV

Thread View: comp.specification

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Frank Weber Tue, 24 Jul 1990 14:22

#145

Author: Frank Weber
Date: Tue, 24 Jul 1990 14:22

18 lines
796 bytes

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

Re: Seeking formal description of Meta-IV

#148

Author: Cliff Jones
Date: Sun, 29 Jul 1990 07:28

31 lines
1865 bytes

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
                                    /
//////////////////////////////////////////////////////////////////////////////

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads