Operation Modelling
Relate operations defined on ADT to operations defined on the concrete data type.
If an operation ?in the concrete world correctly models an operation ?, in the abstract world then ret(? ? r) = (ret ?) ? (ret r)
Example: Model set union
Previous slide
Next slide
Back to first slide
View graphic version