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.

Logics of Programs: Axiomatics and Descriptive Power

Thumbnail Image
Download
Name

MIT-LCS-TR-200.pdf

Size

9.1 MB

Format

Adobe PDF

Checksum (MD5)

5b70b92a7f1c12401212524cc99064fd

Author(s)
Harel, David
Advisor(s)
Pratt, Vaughan R.
Date Issued
May 1978
Series/Report no.
MIT-LCS-TR-200
Abstract
This thesis is concerned with the development of mathematical tools for reasoning about computer programs. The approach is to design and investigate the properties of various dynamic logics with an emphasis on useful expressive power and adequate proof theory.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.