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.

Semantical Considerations on Floyd-Hoare Logic

Thumbnail Image
Download
Name

MIT-LCS-TR-168.pdf

Size

1.56 MB

Format

Adobe PDF

Checksum (MD5)

60b0522cf8a4ca3ece8bac1661ac7cb8

Author(s)
Pratt, Vaughan R.
Date Issued
September 1976
Series/Report no.
MIT-LCS-TR-168
Abstract
This paper deals with logics of programs. The objective is to formalize a notion of program description and to give both plausible (semantic) and effective (syntactic) criteria for the notion of truth of a description. A novel feature of this treatment is the development of the mathematics underlying Floyed-Hoare axiom systems independently of such systems. Our directions that such research might take are also considered.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.