home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / object / 4148 < prev    next >
Encoding:
Internet Message Format  |  1992-11-06  |  725 b 
  1. Xref: sparky comp.object:4148 comp.software-eng:4169
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!elroy.jpl.nasa.gov!swrinde!zaphod.mps.ohio-state.edu!moe.ksu.ksu.edu!kuhub.cc.ukans.edu!wsuhub.uc.twsu.edu!zxnoueih
  3. Newsgroups: comp.object,comp.software-eng
  4. Subject: Formal OO proofs?
  5. Message-ID: <1992Nov5.120524.369@wsuhub.uc.twsu.edu>
  6. From: zxnoueih@wsuhub.uc.twsu.edu (...VALENCIA...)
  7. Date: 5 Nov 92 12:05:24 CST
  8. Organization: Wichita State University, Wichita, Ks
  9. Lines: 11
  10.  
  11.  
  12. I am looking for technical papers regarding formal proofs on
  13. different aspects of Object Oriented Systems, such as Inheritance,
  14. polymorphism, etc....
  15.  
  16. Any help would be greatly appreciated.
  17.  
  18. Ziad.
  19.  
  20. e-mail: zxnoueih@wsuhub.uc.twsu.edu
  21.  
  22.