Algebraic Specification of Complex Data Types
Johannes J. Martin · Computer Science Technical Reports (Virginia Tech) · 1978
This paper discusses algebraic data type specifications that employ product sets as carriers. This leads to simplifications for certain data types. In particular, the method permits the specification of a complex type by the straight forward translation of an intuitive model of the type into a formal definition, provided that the model is conceived in terms of other well defined types. The concept is illustrated by two examples.