Browsing LCS Technical Reports (1974 - 2003) by Author "Qualitz, Joseph E."

Now showing items 1-1 of 1

    • Equivalence Problems for Monadic Schemas 

      Qualitz, Joseph E. (1975-06)
      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 ...