Publication
Case Studies of Non-Freely Generated Data Types
Claus Sengler
DFKI, DFKI Research Reports (RR), Vol. 96-06, 1996.
Abstract
In this report we shall present case studies of different data type specifications for natural numbers, for integers, for finite lists, for finite lists with an additional error element, for finite sets, for binary words, for commutative trees, and for arrays. Furthermore, this report contains a collection of constructive function and predicate specifications, whose recursion orderings are shown to be well-founded.