home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / programm / 3388 < prev    next >
Encoding:
Internet Message Format  |  1993-01-01  |  935 b 
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!mucs!m1!bevan
  2. From: bevan@cs.man.ac.uk (Stephen J Bevan)
  3. Newsgroups: comp.programming
  4. Subject: Re: Programming by Description of Output...
  5. Message-ID: <BEVAN.93Jan1134444@panda.cs.man.ac.uk>
  6. Date: 1 Jan 93 13:44:44 GMT
  7. References: <1992Dec30.174004.4168@cs.cornell.edu> <C036t1.KCH@phage.cshl.org>
  8.     <BEVAN.92Dec31001940@panda.cs.man.ac.uk>
  9.     <1992Dec31.155736.29068@cs.cornell.edu>
  10.     <BEVAN.92Dec31202001@panda.cs.man.ac.uk>
  11.     <1993Jan1.043329.27160@netcom.com>
  12. Sender: news@cs.man.ac.uk
  13. Organization: Department of Computer Science, University of Manchester
  14. Lines: 8
  15. In-reply-to: nagle@netcom.com's message of 1 Jan 93 04:33:29 GMT
  16.  
  17. In article <1993Jan1.043329.27160@netcom.com> nagle@netcom.com (John Nagle) writes:
  18.  
  19.    Formal specs that you can't run are tough to work with.
  20.  
  21. I heartily agree, though there are those who feel that if a spec. is
  22. executable it probably isn't a good spec.
  23.  
  24. bevan
  25.