home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / eiffel / 1110 < prev    next >
Encoding:
Text File  |  1992-09-03  |  1.0 KB  |  25 lines
  1. Newsgroups: comp.lang.eiffel
  2. Path: sparky!uunet!decwrl!csus.edu!netcom.com!nagle
  3. From: nagle@netcom.com (John Nagle)
  4. Subject: Re: system-level validity
  5. Message-ID: <1bmn50.nagle@netcom.com>
  6. Date: Fri, 04 Sep 92 07:02:21 GMT
  7. Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
  8. References: <mod.714411318@cs.man.ac.uk> <714585601snx@holon.demon.co.uk> <mod.714907485@cs.man.ac.uk> <83@feiffel.UUCP>
  9. Lines: 14
  10.  
  11. bertrand@feiffel.UUCP (Bertrand Meyer) writes:
  12. The first release of ISE Eiffel 3 does not support system-level
  13. >validity checking. We felt that adding system-level checking,
  14. >which addresses a real problem but one that does not arise often
  15. >in practice, was not worth delaying the release by two months
  16. >(the current estimate of the time needed to implement system-level
  17. >validity).
  18.      I thought the whole point of Eiffel was the emphasis on validity
  19. checking.  But at least it is scheduled for Real Soon Now.
  20.      Given system-level validity checking, what strong statements can
  21. one make about a program that passes it?
  22.  
  23.                     John Nagle
  24.  
  25.