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

Article View: comp.specification

Article #203

Back to comp.specification Previous Next

#203

From: Brendan Mahony
Date: Sun, 21 Oct 1990 05:11

14 lines
1149 bytes

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.

Technical Details

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

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!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> <5289@uqcspe.cs.uq.oz.au> <21500@dime.cs.umass.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message