home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / eiffel / 1125 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  1.3 KB
  1. Path: sparky!uunet!mcsun!uknet!mucs!cs.man.ac.uk!mod
  2. From: mod@cs.man.ac.uk (Mike O'Docherty (Teaching Company Associate with MU/ICL))
  3. Newsgroups: comp.lang.eiffel
  4. Subject: Re: system-level validity
  5. Message-ID: <mod.715957752@cs.man.ac.uk>
  6. Date: 8 Sep 92 13:09:12 GMT
  7. References: <mod.714411318@cs.man.ac.uk> <714585601snx@holon.demon.co.uk> <mod.714907485@cs.man.ac.uk> <83@feiffel.UUCP> <1bmn50.nagle@netcom.com> <mod.715877622@cs.man.ac.uk> <j-rnhhj.nagle@netcom.com>
  8. Sender: news@cs.man.ac.uk
  9. Lines: 22
  10.  
  11. nagle@netcom.com (John Nagle) writes:
  12.  
  13. >       Now the question is, can system-level validity checking be performed
  14. >statically, and has this been successfully implemented?  Chapter 22
  15. >seems evasive on this subject.
  16.  
  17. At the risk of repeating parts of my recent postings and Bertrand Meyer's reply:
  18.  
  19. Yes, it can be performed statically.
  20. ISE's first release of 3.0 doesn't do it, but it is `at the top of the list'
  21. for the second release.
  22.  
  23. The algorithm in Chapter 22 seems very straightforward, I guess ISE's estimate
  24. of two months to implement it comes from wanting to mnake it fast and/or
  25. incremental.
  26.  
  27. The first release of Eiffel/S on Pc did the checks dynamically. I think there's
  28. a second release now but only SiG can tell you more.
  29.  
  30. Mike.
  31.  
  32. (System-validity obsessive).
  33.