Equivalence Problems for Monadic Schemas
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