Computer Science Technical Reports
CS at VT

Algebraic Specification of Complex Data Types

Martin, Johannes J. (1978) Algebraic Specification of Complex Data Types. Technical Report CS78003-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS78003-R.pdf (545545)


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