Abstract Model Specifications for Data Abstractions
| dc.contributor.advisor | Liskov, Barbara H. | en_US |
| dc.contributor.author | B_rzin_, Valdis Andris | en_US |
| dc.date.accessioned | 2023-03-29T15:03:19Z | |
| dc.date.available | 2023-03-29T15:03:19Z | |
| dc.date.issued | 1979-07 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149507 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-221 | |
| dc.title | Abstract Model Specifications for Data Abstractions | en_US |
| dc.identifier.oclc | 5672378 |
