Accession Number:

AD0758646

Title:

On the Properties and Applications of Program Schemas

Descriptive Note:

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1973-03-01

Pagination or Media Count:

242.0

Abstract:

The interesting questions one can ask about program schemas include questions about the power of classes of shemas and their decision problems viz. halting, divergence, equivalence, etc. Considered first are the powers of schemas with various features recursion, equality tests, and several data structures such as pushdown stacks, lists, queues and arrays. Then the decision problems for schemas with equality and with commutative and invertible functions are considered. Finally a generalized class of schemas is described in an attempt to unify the various classes of uninterpreted and semi-interpreted schemas and schemas with special data structures.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE