Re: call for discussion: comp.lang.spec

Article View: comp.std.misc

Article #100

#100

From: mccaugh
Date: Wed, 22 Nov 1989 17:31

7 lines
798 bytes

 I am all for it, and I agree that 'comp.lang.spec' might be misconstrued to
 mean that programming languages where being specified. I am personally most
 interested in the algebraic-specification languages, such as: Clear, OBJ and
 ACT ONE, but would also consider model-oriented methods like Z and VDM, also.

 Scott McCaughrin

Technical Details

Message-ID: <220200001@s.cs.uiuc.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!dino!ux1.cso.uiuc.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!s.cs.uiuc.edu!mccaugh

References: <3614@midway.cs.glasgow.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!dino!ux1.cso.uiuc.edu!ux1.cso.uiuc.edu!m.cs.uiuc.edu!s.cs.uiuc.edu!mccaugh
From: mccaugh@s.cs.uiuc.edu
Newsgroups: comp.std.misc
Subject: Re: call for discussion: comp.lang.spec
Message-ID: <220200001@s.cs.uiuc.edu>
Date: 22 Nov 89 17:31:12 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Lines: 7
Nf-ID: #R:midway.cs.glasgow.ac.uk:3614:s.cs.uiuc.edu:220200001:000:332
Nf-From: s.cs.uiuc.edu!mccaugh    Nov 22 00:49:00 1989

Reply to Parent Message