Path: 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

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.