Equivalence Problems for Monadic Schemas.
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. A notion of equivalence is formalized as the functional equivalence of schemas under free interpretations, interpretations which represent symbolically the set of all interpretations of a schema. It is shown that the equivalence problem for iteration schemas is unsolvable, even if the schemas possess highly restrictive properties.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1975
- Accession Number
- ADA012823
Entities
People
- Joseph E. Qualitz
Organizations
- Massachusetts Institute of Technology