An Analysis of Parameter Evaluation for Recursive Procedures
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software