ABSTRACT DATA TYPE DEFINITION: A COMPARISON OF TWO SPECIFICATION METHODS.

Billy G. Claybrook, Jitender S. Deogun

Research output: Contribution to journalConference article

Abstract

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 languageEnglish (US)
Number of pages1
JournalProceedings of the Hawaii International Conference on System Science
StatePublished - 1985

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'ABSTRACT DATA TYPE DEFINITION: A COMPARISON OF TWO SPECIFICATION METHODS.'. Together they form a unique fingerprint.

  • Cite this