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.

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications

Thumbnail Image
Download
Name

MIT-LCS-TR-276.pdf

Size

6.68 MB

Format

Adobe PDF

Checksum (MD5)

0243ddd9534231e568de055750d54e89

Author(s)
Srivas, Mandayam K.
Advisor(s)
Guttag, John V.
Date Issued
June 1982
Series/Report no.
MIT-LCS-TR-276
Abstract
Algebraic specifications have been used extensively to prove properties of abstract data types and to establish the correctness of implementations of data types. This thesis explores an automatic method of synthesizing implementations for data types from their algebraic specifications.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.