Algebraic Specification of Complex Data Types

dc.contributor.author	Martin, Johannes J.	en
dc.contributor.department	Computer Science	en
dc.date.accessioned	2013-06-19T14:37:17Z	en
dc.date.available	2013-06-19T14:37:17Z	en
dc.date.issued	1978	en
dc.description.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.	en
dc.format.mimetype	application/pdf	en
dc.identifier	http://eprints.cs.vt.edu/archive/00000826/	en
dc.identifier.sourceurl	http://eprints.cs.vt.edu/archive/00000826/01/CS78003-R.pdf	en
dc.identifier.trnumber	CS78003-R	en
dc.identifier.uri	http://hdl.handle.net/10919/20332	en
dc.language.iso	en	en
dc.publisher	Department of Computer Science, Virginia Polytechnic Institute & State University	en
dc.relation.ispartof	Historical Collection(Till Dec 2001)	en
dc.rights	In Copyright	en
dc.rights.uri	http://rightsstatements.org/vocab/InC/1.0/	en
dc.title	Algebraic Specification of Complex Data Types	en
dc.type	Technical report	en
dc.type.dcmitype	Text	en

Files

Now showing 1 - 1 of 1