home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / function / 1045 < prev    next >
Encoding:
Internet Message Format  |  1992-08-27  |  991 b 
  1. Path: sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!brendan
  2. From: brendan@cs.uq.oz.au (Brendan Mahony)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Nondeterministic expressions & refinement calculus
  5. Message-ID: <10023@uqcspe.cs.uq.oz.au>
  6. Date: 28 Aug 92 02:11:54 GMT
  7. References: <2006@dutiws.tudelft.nl>
  8. Sender: news@cs.uq.oz.au
  9. Reply-To: brendan@cs.uq.oz.au
  10. Lines: 16
  11.  
  12.  
  13. Also of interest:
  14.  
  15. @article{Morris:ExpRef,
  16.         author = {J. M. Morris},  
  17.         title = "Programming by Expression Refinement: A Series of Examples",
  18.         journal = {Structured Computing}, 
  19.         volume = 11, 
  20.         pages = {189--197}, 
  21.         year = 1990 
  22. }
  23. --
  24. When soldiers form lines or hollow squares, you call it reason.
  25. When wild geese in flight take the form of a letter V, you say instinct.
  26. When the homogeneous atoms of a mineral arrange themselves into shapes
  27. mathematically perfect you have nothing to say. You have not even invented a name to conceal your heroic unreason."
  28.