Algebraic Specification of Complex Data Types
1978) Algebraic Specification of Complex Data Types. Technical Report CS78003-R, Computer Science, Virginia Tech. (
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)|
|Deposited By:||Administrator, Eprints|
|Deposited On:||05 May 2006|