We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Towards a Theory for Abstract Data Types

Thumbnail Image
Download
Name

MIT-LCS-TR-237.pdf

Size

12.26 MB

Format

Adobe PDF

Checksum (MD5)

8909cb69e4bb1ac0e3b0ce4b75128585

Author(s)
Kapur, Deepak
Advisor(s)
Liskov, Barbara H.
Date Issued
June 1980
Series/Report no.
MIT-LCS-TR-237
Abstract
A rigorous framework for studying immutable data types having nondeterministic operations and operations exhibiting exceptional behavior is developed. The framework embodies the view of a data type taken in programming languages, and supports hierarchical and modular structure among data types.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.