home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / compiler / 2050 < prev    next >
Encoding:
Internet Message Format  |  1992-12-17  |  1.4 KB

  1. Path: sparky!uunet!spool.mu.edu!sdd.hp.com!saimiri.primate.wisc.edu!ames!ncar!hsdndev!spdcc!iecc!compilers-sender
  2. From: un027705@wvnvms.wvnet.edu (Jon Beck)
  3. Newsgroups: comp.compilers
  4. Subject: Building a Lattice
  5. Keywords: theory
  6. Message-ID: <92-12-083@comp.compilers>
  7. Date: 15 Dec 92 12:10:14 GMT
  8. Sender: compilers-sender@iecc.cambridge.ma.us
  9. Reply-To: un027705@wvnvms.wvnet.edu (Jon Beck)
  10. Organization: West Virginia Network for Educational Telecomputing
  11. Lines: 19
  12. Approved: compilers@iecc.cambridge.ma.us
  13.  
  14. Can anyone point me to an algorithm for building a lattice? I happen to be
  15. specifically interested in a lattice whose meet is set intersection, whose
  16. join is set union, and whose partial ordering function is subset, but of
  17. course that shouldn't matter to the algorithm. I'm posting here because it
  18. seems as though a compiler for a language which has multiple inheritance
  19. should have such an algorithm for building the inheritance hierarchy,
  20. which for multiple inheritance is a lattice.
  21.  
  22. I have an algorithm which works, but it's hairy and smells bad; I was
  23. looking for something a bit prettier and which won't leave spots on the
  24. rug.
  25. -- 
  26. Jon Beck, Research Assistant
  27. Department of Statistics and Computer Science
  28. West Virginia University
  29. beck@cs.wvu.wvnet.edu
  30. -- 
  31. Send compilers articles to compilers@iecc.cambridge.ma.us or
  32. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  33.