Decomposition -- matrix

data abstraction

nil cons(h,t)
empty(l) true false
head(l) error h
tail(l) error t

Modules -- operation oriented

ADT

Objects -- data oriented

OOP


slide: Decomposition and data abstraction