Iterative Interpretation of LISP Procedures, RT 20-76

September 1976, 14 pages  

Patrick Greussay

The design of a LISP interpreter that allows tail-recursive procedures to be interpreted iteratively is presented at the machine-language level.