home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1889 < prev    next >
Encoding:
Text File  |  1992-09-08  |  1.2 KB  |  35 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!decwrl!pa.dec.com!nntpd2.cxo.dec.com!nntpd.lkg.dec.com!trofs.enet.dec.com!e_splett
  3. From: e_splett@trofs.enet.dec.com (Evan Splett)
  4. Subject: Re: Weakest prespecification?
  5. Message-ID: <1992Sep8.145810.23584@nntpd.lkg.dec.com>
  6. Sender: usenet@nntpd.lkg.dec.com (USENET News System)
  7. Organisation: Digital Equipment of Canada - Ottawa
  8. Organization: Digital Equipment Corp.
  9. References:   <12746@ecs.soton.ac.uk>
  10. Date: Tue, 8 Sep 1992 15:48:28 GMT
  11. Lines: 22
  12.  
  13.  
  14. In article <12746@ecs.soton.ac.uk>, dbc@ecs.soton.ac.uk (Bryan Carpenter) writes...
  15. > 
  16. >     Somewhere in the past few days I saw a paper that talked
  17. >about ``weakest prespecifications'' (and possibly attributed them to
  18.  
  19. These are the references that I know of:
  20.  
  21. The Weakest Prespecification
  22. C.A.R. Hoare  and J. He 
  23. Fundamenta Informatica   1986  vol 9     
  24.  
  25. The Weakest Prespecification
  26. C.A.R. Hoare
  27. Information Processing Letters  1987 vol 24 no 2
  28.  
  29. ------------------------------------------------------------------------------
  30.          Evan Splett
  31. Digital Equipment of Canada Ltd.
  32. phone 819-772-7205  Fax 819-772-7226
  33.   e_splett@kaofs.enet.dec.com
  34. ------------------------------------------------------------------------------
  35.