Case Studies of Non-Freely Generated Data Types

Claus Sengler

DFKI DFKI Research Reports (RR) 96-06 1996.


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.

RR-96-06.pdf (pdf, 697 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence