Abstract data types -- representation function

Representation function -- abstraction

  • %a(%c)( %a(%f)) = %a(%f') <=> %c (%f) = %f'

slide: Abstraction and representation