Low cost environment changing in a shallow binding system (Q1082065)

This paper presents a general approach to the optimization of function calls. We define the class of ''low cost calls'' and introduce a technique of detecting and executing these calls in a modified shallow binding system known as ''standardized shallow binding''. We show that by this technique the overhead expenses of changing environments for low cost calls are nearly cut down to zero. The new method can be applied to any imperative or applicative language. In this paper LISP is taken as an example; it is shown how the technique has been applied in the implementation of a LISP interpreter. We prove that our method exceeds a number of optimizations that have been proposed recently. Finally, we find that standardized shallow binding is also well suited for an efficient implementation of static scoping.