Re: Against executable specifications (Re: specifying OBJ in itself)

Article View: comp.specification

Article #198

Back to comp.specification Previous Next

#198

From: Brendan Mahony
Date: Thu, 18 Oct 1990 05:44

15 lines
1223 bytes

schoett@informatik.tu-muenchen.dbp.de (Oliver Schoett) writes:

>The following paper makes a number of points against executability of
>specification languages:

The primary reason from avoiding executable specification languages is
that it is sometimes necessary to discuss problems outside of the realm
of computable functions. An important example of this is specifying the
termination of a program.

--
Brendan Mahony                   | brendan@batserver.cs.uq.oz       
Department of Computer Science   | heretic: someone who disgrees with you
University of Queensland         | about something neither of you knows
Australia                        | anything about.

Technical Details

Message-ID: <5289@uqcspe.cs.uq.oz.au>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!rutgers!apple!uokmax!munnari.oz.au!brolga!uqcspe!batserver.cs.uq.oz.au!brendan

References: <6470@vanuata.cs.glasgow.ac.uk> <4955@tuminfo1.lan.informatik.tu-muenchen.dbp.de>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!rutgers!apple!uokmax!munnari.oz.au!brolga!uqcspe!batserver.cs.uq.oz.au!brendan
From: brendan@batserver.cs.uq.oz.au (Brendan Mahony)
Newsgroups: comp.specification
Subject: Re: Against executable specifications (Re: specifying OBJ in itself)
Message-ID: <5289@uqcspe.cs.uq.oz.au>
Date: 18 Oct 90 05:44:46 GMT
References: <6470@vanuata.cs.glasgow.ac.uk> <4955@tuminfo1.lan.informatik.tu-muenchen.dbp.de>
Sender: news@uqcspe.cs.uq.oz.au
Reply-To: brendan@batserver.cs.uq.oz.au
Lines: 15

Reply to Parent Message