Pseudo-recursive procedures

Abstract

Based on a decidable notion of recursivity of procedures (or functions) in ALGOL-like programs we define pseudo-recursive procedures to be those that do not need an activation record of their own on the runtime stack; their storage can be allocated within the activation record of a strictly-recursive (i.e. not pseudo-recursive) dynamic predecessor. We present an algorithm that characterizes each procedure of a program as being either non-recursive, pseudo-recursive or strictlyrecursive and associates each pseudo-recursive procedure with one appropriate strictly-recursive one. With this information a better suited implementation technique can be chosen for each type of procedure.

Zusammenfassung

Ausgehend von einem entscheidbaren Rekursivitäts-Begriff von Prozeduren (oder Funktionen) in Algol-ähnlichen Programmen definieren wir eine pseudo-rekursive Prozedur als solche, die keine eigene Schachtel (activation record) auf dem Laufzeit-Keller benötigt; sie kann vielmehr innerhalb der Schachtel eines stark-rekursiven (d. h. eines rekursiven aber nicht pseudorekursiven) dynamischen Vorgängers abgelegt werden. Wir stellen einen Algorithmus vor, der jede Prozedur eines Programms entweder als nicht-rekursiv pseudo-rekursiv oder stark-rekursiv einstuft und der jeder pseudo-rekursiven eine geeignete stark-rekursive zuordnet. Anhand dieser Information kann der Übersetzer für jeden Prozedur-Typ eine eigens darauf zugeschnittene Implementierung auswählen.