home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / theory / 2706 < prev    next >
Encoding:
Internet Message Format  |  1992-12-15  |  1.2 KB
  1. Path: sparky!uunet!usc!zaphod.mps.ohio-state.edu!uwm.edu!spool.mu.edu!olivea!sgigate!sgiblab!darwin.sura.net!wvnvms.wvnet.edu!un027705
  2. From: un027705@wvnvms.wvnet.edu (Jon Beck)
  3. Newsgroups: comp.theory
  4. Subject: Building a Lattice
  5. Message-ID: <1992Dec15.081445.4266@wvnvms.wvnet.edu>
  6. Date: 15 Dec 92 18:09:34 GMT
  7. Organization: West Virginia Network for Educational Telecomputing
  8. Lines: 19
  9.  
  10. Can anyone point me to an algorithm for building a lattice? I
  11. happen to be specifically interested in a lattice whose meet is
  12. set intersection, whose join is set union, and whose partial
  13. ordering function is subset, but of course that shouldn't matter to
  14. the algorithm. It seems to me as though a compiler for a language
  15. which has multiple inheritance should have such an algorithm for
  16. building the inheritance hierarchy, which for multiple inheritance is
  17. a lattice, but I haven't been able to find anything in compiler
  18. literature.
  19.  
  20. I have an algorithm which works, but it's hairy and smells bad; I
  21. was looking for something a bit prettier and which won't leave
  22. spots on the rug.
  23.  
  24. -- 
  25. Jon Beck, Research Assistant
  26. Department of Statistics and Computer Science
  27. West Virginia University
  28. beck@cs.wvu.wvnet.edu
  29.