home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1882 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  793 b 
  1. Path: sparky!uunet!pipex!unipalm!uknet!doc.ic.ac.uk!sot-ecs!dbc
  2. From: dbc@ecs.soton.ac.uk (Bryan Carpenter)
  3. Newsgroups: comp.theory
  4. Subject: Weakest prespecification?
  5. Message-ID: <12746@ecs.soton.ac.uk>
  6. Date: 4 Sep 92 18:22:57 GMT
  7. Sender: news@ecs.soton.ac.uk
  8. Lines: 12
  9. Nntp-Posting-Host: louis
  10.  
  11.  
  12.      Somewhere in the past few days I saw a paper that talked
  13. about ``weakest prespecifications'' (and possibly attributed them to
  14. Hoare?).  I meant to go back and find out what this was about, but now I
  15. can't remember where I saw the paper.  Does anyone know where I can
  16. look this up?
  17.  
  18.     (It was definitely ``prespecification'', by the way.  If it
  19. turns out that it's the same as ``precondition'' I'll be a bit
  20. disappointed---I got the impression it was something different).
  21.  
  22. Bryan Carpenter
  23.