Algebraic Specification of Complex Data Types
(1978) Algebraic Specification of Complex Data Types. Technical Report CS78003-R, Computer Science, Virginia Tech.
Full text available as: |
Abstract
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.
| Item Type: | Departmental Technical Report |
|---|---|
| Keywords: | Abstract data types, data types, complex types, algebraic specification |
| Subjects: | Computer Science > Historical Collection(Till Dec 2001) |
| ID Code: | 826 |
| Deposited By: | Administrator, Eprints |
| Deposited On: | 05 May 2006 |