Inheritance
-- incremental modification
R
esult =
P
arent +
M
odifier
Example:
R = { a1, a2 } + { a2, a3 } = { a1, a2, a3 }
\nl
Independent attributes
: M disjoint from P\n
Overlapping attributes
: M overrules P
Dynamic binding
R = {...,P_i: self ! A,...} + { ...,M_j: self ! B, ... }
slide
:
Inheritance as incremental modification