Real-Time Properties of Indirect Recursive Procedures

@article{Blieberger2001RealTimePO,
  title={Real-Time Properties of Indirect Recursive Procedures},
  author={Johann Blieberger},
  journal={Inf. Comput.},
  year={2001},
  volume={171},
  pages={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… CONTINUE READING