< Sorting AutoProof Code Repository Sum and max >

Strategy

Category: Design Pattern

Source: FAC'07

Description

The abstract strategy class has an operation that gets refined in different subclasses. The client can write client code operating with the abstract class, while instantiating the entities with specific subclasses. Then the reasoning has to deal with the dynamic representation.

download source

Code