Building a Lattice

Article View: comp.theory

Article #1719

#1719

From: Jon Beck
Date: Tue, 15 Dec 1992 18:09

19 lines
1224 bytes

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. It seems to me 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, but I haven't been able to find anything in compiler
literature.

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

Technical Details

Message-ID: <1992Dec15.081445.4266@wvnvms.wvnet.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!uwm.edu!spool.mu.edu!olivea!sgigate!sgiblab!darwin.sura.net!wvnvms.wvnet.edu!un027705

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!uwm.edu!spool.mu.edu!olivea!sgigate!sgiblab!darwin.sura.net!wvnvms.wvnet.edu!un027705
From: un027705@wvnvms.wvnet.edu (Jon Beck)
Newsgroups: comp.theory
Subject: Building a Lattice
Message-ID: <1992Dec15.081445.4266@wvnvms.wvnet.edu>
Date: 15 Dec 92 18:09:34 GMT
Organization: West Virginia Network for Educational Telecomputing
Lines: 19