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

Verification of Programs Operating on Structured Data

Thumbnail Image
Download
Name

MIT-LCS-TR-124.pdf

Size

4.04 MB

Format

Adobe PDF

Checksum (MD5)

5d0b440335429f265f1e8b391de51407

Author(s)
Laventhal, Mark Steven
Advisor(s)
Liskov, Barbara H.
Date Issued
March 1974
Series/Report no.
MIT-LCS-TR-124
MAC-TR-124
Abstract
The major method for verifying the correctness of computer program is the inductive assertion approach. This approach has been limited in the past by the lack of techniques for handling data structures. In particular, there has been a need for concepts with which to describe structured data during intermediate and final stages of a computation.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.