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 - Jan 1 1985
Externally publishedYes

Fingerprint

Abstract data types
Specifications

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

@article{36ee1b29829c4b4f90b3128bfe7c40a5,
title = "ABSTRACT DATA TYPE DEFINITION: A COMPARISON OF TWO SPECIFICATION METHODS.",
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.",
author = "Claybrook, {Billy G.} and Deogun, {Jitender S}",
year = "1985",
month = "1",
day = "1",
language = "English (US)",
journal = "Proceedings of the Hawaii International Conference on System Sciences",
issn = "1060-3425",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - ABSTRACT DATA TYPE DEFINITION

T2 - A COMPARISON OF TWO SPECIFICATION METHODS.

AU - Claybrook, Billy G.

AU - Deogun, Jitender S

PY - 1985/1/1

Y1 - 1985/1/1

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

JO - Proceedings of the Hawaii International Conference on System Sciences

JF - Proceedings of the Hawaii International Conference on System Sciences

SN - 1060-3425

ER -