modules in VDM

Article View: comp.specification

Article #108

Back to comp.specification Previous Next

#108

From: Anthony Shipman
Date: Thu, 27 Aug 1992 07:23

13 lines
881 bytes

Recently I posted some questions about the module facilities in VDM-SL.
I received a reply that said that they are not very usable and have been
removed from the draft ISO standard for VDM-SL.

Can anybody confirm or add anything to this?


Thanks
-- 
Anthony Shipman                 "You've got to be taught before it's too late,
CP Software Export Pty Ltd,      Before you are six or seven or eight,
19 Cato St., East Hawthorn,      To hate all the people your relatives hate,
Melbourne, Australia, 3121       You've got to be carefully taught."  R&H

Technical Details

Message-ID: <1992Aug27.072323.23672@bohra.cpg.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!mel.dit.csiro.au!yarra!bohra.cpg.oz.au!als

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!mel.dit.csiro.au!yarra!bohra.cpg.oz.au!als
From: als@bohra.cpg.oz.au (Anthony Shipman)
Newsgroups: comp.specification
Subject: modules in VDM
Message-ID: <1992Aug27.072323.23672@bohra.cpg.oz.au>
Date: 27 Aug 92 07:23:23 GMT
Organization: Computer Power Software
Lines: 13