\comment{
[16] On some algorithms for multiple inheritance in object oriented programming [_DH88]
}
\sly{algorithms}{
Algorithms for multiple inheritance
\xline{{\bf [16]}}
- traversing inheritance graph (p.o.)
{\bf Inheritance graph:} directed, acyclyc
-- y is a descendant of x
{\bf Hierarchy;} for object
where
\{\em -- all descendants\}
Operational semantics: multiplicity !
\n
}
\sli{
Search:
total order on \nl
An object inherits a property P w.r.t. a search if:
1. is the first value of in
2. If there is no such vertex then \{\em not\} .
{\bf Inheritance mechanism:}
- \xline{(?)}
Property: stable\n
Principles:
\it 1. inheritance mechanism must follow p.o.
2. uniform mechanism (for all properties)
3. closeness has priority (w.r.t. multiplicity)
4. no cycles
{\em depth-first search, linear extensions ... }
\n
}