Inheritance -- incremental modification

• Result = Parent + Modifier

Independent attributes: M disjoint from P
Overlapping attributes: M overrules P

Dynamic binding

• R = …,P_i: self ! A,… + {…,M_j: self ! B, …}