Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. LCS Publications
  4. LCS Technical Reports (1974 - 2003)
  5. Equivalence Problems for Monadic Schemas

Equivalence Problems for Monadic Schemas

Thumbnail Image
Download
Name

MIT-LCS-TR-152.pdf

Size

4.45 MB

Format

Adobe PDF

Checksum (MD5)

4d3fe40f9e6cac1f7f5d79f7343db2c4

Author(s)
Qualitz, Joseph E.
Advisor(s)
Dennis, Jack B.
Date Issued
June 1975
Series/Report no.
MIT-LCS-TR-152
MAC-TR-152
Abstract
A class of monadic program schemas is defined. This class, called iteration schemas, consists of schemas whose programs comprise assignment statements, conditional statements, and iteration statements. These schemas are shown to correspond to program schemas which are structured, and are shown to be strictly less "powerful" than monadic program schemas.
Persistent DSpace Link
https://hdl.handle.net/1721.1/149446
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.