Abstract data types
-- representation function
Representation function
-- abstraction
%a(%c)( %a(%f)) = %a(%f')
<=>
%c (%f) = %f'
slide
:
Abstraction and representation