home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / eiffel / 1452 < prev    next >
Encoding:
Internet Message Format  |  1993-01-24  |  688 b 
  1. Path: sparky!uunet!pipex!demon!cix.compulink.co.uk!wil
  2. Newsgroups: comp.lang.eiffel
  3. From: wil@cix.compulink.co.uk (William Stuart-smith)
  4. Subject: Re: creation                            
  5. Cc: wil@cix.compulink.co.uk
  6. Reply-To: wil@cix.compulink.co.uk
  7. Date: Sat, 23 Jan 1993 21:02:00 +0000
  8. Message-ID: <memo.889140@cix.compulink.co.uk>
  9. Sender: usenet@demon.co.uk
  10. Lines: 10
  11.  
  12. On creation procedure postconditions, I said
  13.  
  14. >It seems correct to me.
  15.  
  16. Sorry, I retract that. I don't fully understand the 'mathematical
  17. correctness' argument. I haven't had a chance to use Eiffel properly yet.
  18. Also, it is probably time I read OOSC...
  19.  
  20. This does not affect my question on system validity and '!!'.
  21.  
  22.