TY - JOUR
T1 - ABSTRACT DATA TYPE DEFINITION
T2 - A COMPARISON OF TWO SPECIFICATION METHODS.
AU - Claybrook, Billy G.
AU - Deogun, Jitender S.
PY - 1985
Y1 - 1985
N2 - Authors make a comparison of two data abstraction specification methods, the algebraic specification method and the abstract model method via several examples. An abstract model specification, as opposed to an algebraic specification, defines how a type's primitive operators affect instances of the type. An algebraic specification consists of a set of axioms in the form of equations which relate the primitive operators of the data type to each other. Each of the specification methods have certain advantages and disadvantages. Authors examine the two methods with respect to: 1) specification of abstract data types, 2) implementation of abstract data types, 3) consistency proofs, and 4) ease of understanding. Extended abstract is given.
AB - Authors make a comparison of two data abstraction specification methods, the algebraic specification method and the abstract model method via several examples. An abstract model specification, as opposed to an algebraic specification, defines how a type's primitive operators affect instances of the type. An algebraic specification consists of a set of axioms in the form of equations which relate the primitive operators of the data type to each other. Each of the specification methods have certain advantages and disadvantages. Authors examine the two methods with respect to: 1) specification of abstract data types, 2) implementation of abstract data types, 3) consistency proofs, and 4) ease of understanding. Extended abstract is given.
UR - http://www.scopus.com/inward/record.url?scp=0021794673&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0021794673&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:0021794673
SN - 0073-1129
SP - 466
JO - Proceedings of the Hawaii International Conference on System Science
JF - Proceedings of the Hawaii International Conference on System Science
ER -