[Back]

J. Blieberger:
"Real-Time Properties of Indirect Recursive Procedures";
Information and Computation, 171 (2001), 156 - 182.

The purpose of this paper is to show that indirect recursive procedures can be used
for implementing real-time applications without harm,
if a few conditions are met.
These conditions ensure that upper bounds for space and time requirements can be
derived at compile time.
Moreover they are simple enough such that many important recursive
algorithms can be implemented.

In addition, our approach allows for concentrating on essential properties
of the parameter space during space and time analysis.
This is done by morphisms that transfer important properties
from the original parameter space to simpler ones,
which results in simpler formulas of space and time estimates.

http://dx.doi.org/10.1006/inco.2001.3042