Path: utzoo!attcan!uunet!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: <5321@uqcspe.cs.uq.oz.au>
Date: 21 Oct 90 05:11:51 GMT
References: <6470@vanuata.cs.glasgow.ac.uk> <4955@tuminfo1.lan.informatik.tu-muenchen.dbp.de> <5289@uqcspe.cs.uq.oz.au> <21500@dime.cs.umass.edu>
Sender: news@uqcspe.cs.uq.oz.au
Reply-To: brendan@batserver.cs.uq.oz.au
Lines: 14

yodaiken@chelm.cs.umass.edu (victor yodaiken) writes:

>Why would you need to be able to specify divergent programs? 
>What possible computational interpretation would such a specification
>correspond to? 

No you want to be able to specify that it does not diverge! You can't do
this in any executable notation.

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