On the implementation of construction functions for non-free concrete data types

Frédéric Blanqui, Thérèse Hardin, Pierre Weis

Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence classes o…