© 1975 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Efficient implementation of a class of recursively defined functions
Department of Computing and Control, Imperial College of Science and Technology, 48 Prince's Gardens, London, UK
A method of evaluating recursively defined functions which uses two (or more) stacks is described in this paper. This method is designed to reduce the stack storage needed and requires simpler linkage information than the single stack method. In addition, a study of go-to (or iterative) type recursive definitions is made and it is shown that these require bounded stack storage for their evaluation.
Received August 1973.
* Department of Computing and Control, Imperial College of Science and Technology, 48 Prince's Gardens, London SW7 1LU