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.
|Original language||English (US)|
|Number of pages||1|
|Journal||Proceedings of the Hawaii International Conference on System Science|
|State||Published - Jan 1 1985|
ASJC Scopus subject areas
- Computer Science(all)