Accession Number:

AD0770631

Title:

An Analysis of Parameter Evaluation for Recursive Procedures

Descriptive Note:

Doctoral thesis

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1973-04-01

Pagination or Media Count:

113.0

Abstract:

A class of recursive program schemata P sub R is defined abstracting ALGOL-like procedures. Four generic types of parameter evaluation are considered. An abstract model of parameter evaluation is developed and the constituent components of parameter evaluation are isolated. The question of recognizing when two parameter evaluation mechanisms coincide is studied, i.e. when two mechanisms always compute the same result for the same schema. The general problem is not partially decidable for seperable evaluation mechanisms. For free recursive schemata employing the generic mechanisms, the coincidence question is decidable. A discussion of the utility of such analysis and some thoughts on future directions for research are included.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE