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