Abstract.
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context-manipulation operators. The transformation can be applied to a significant class of higher-order programs and results in equivalent zero-order intensional programs that can be executed in a simple demand-driven way. Despite its simplicity, the transformation has never been seriously evaluated with respect to its efficiency and potential. Certain simple implementations of the technique have been performed, but questions regarding the merits of the method have remained inconclusive. In this paper we demonstrate that the transformation can be efficiently implemented by using what we call lazy activation records, namely activation records in which some entries are filled on-demand. An evaluation of our implementation demonstrates that the technique outperforms some of the most well-known functional programming systems, for the class of programs that can be transformed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
This work has been partially supported by the University of Athens under the project “Kapodistrias” (grant no. 70/4/5827).
Rights and permissions
About this article
Cite this article
Charalambidis, A., Grivas, A., Papaspyrou, N.S. et al. Efficient Intensional Implementation for Lazy Functional Languages. Math.comput.sci. 2, 123–141 (2008). https://doi.org/10.1007/s11786-008-0047-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-008-0047-5