Low cost environment changing in a shallow binding system

DOI10.1007/BF03037406MaRDI QIDQ1082065zbMATH OpenOpenAlexFDO

Authors K.-U. Felgentreu, Wolfram-M. Lippe

Publication date 1986

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037406

zbMATH Keywords

applicative languagesinterpreterLISPlow cost callsoptimization of function callsstandardized shallow bindingstatic scoping

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3947595
• Optimizing abstract SECD machine code
• scientific article; zbMATH DE number 2086499
• Optimizing structural recursion in functional programs
• scientific article; zbMATH DE number 4043221

Cites work

• On correct procedure parameter transmission in higher programming languages
• Shallow binding in Lisp 1.5

Cited in

(1)

• scientific article; zbMATH DE number 3947595 (Why is no real title available?)

This page was built for publication: Low cost environment changing in a shallow binding system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082065)