Abstract Model Specifications for Data Abstractions

B_rzin_, Valdis Andris

Abstract Model Specifications for Data Abstractions

Download

Name

MIT-LCS-TR-221.pdf

Size

6.99 MB

Format

Adobe PDF

Checksum (MD5)

6dfad59225999434ccf74eba378e2c33

Author(s)

B_rzin_, Valdis Andris

Advisor(s)

Liskov, Barbara H.

Date Issued

July 1979

Series/Report no.

MIT-LCS-TR-221

Abstract

A data abstraction introduces a data type with a hidden representation. Specifications of data abstractions are required to allow the data to be described and used without reference to the underlying representation. There are two main approaches to specifying data abstractions, the abstract model approach and the axiomatic approach.

Persistent DSpace Link

https://hdl.handle.net/1721.1/149507