Accession Number:

ADA012823

Title:

Equivalence Problems for Monadic Schemas.

Descriptive Note:

Interim scientific rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC

Personal Author(s):

Report Date:

1975-06-01

Pagination or Media Count:

151.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE