Efficient Intensional Implementation for Lazy Functional Languages |
| |
Authors: | Angelos Charalambidis Athanasios Grivas Nikolaos S. Papaspyrou Panos Rondogiannis |
| |
Affiliation: | (1) Department of Informatics and Telecommunications, University of Athens, Panepistimiopolis, 15784 Athens, Greece;(2) School of Electrical and Computer Engineering, National Technical University of Athens, Polytechnioupoli, 15780 Zografou, Greece |
| |
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 work has been partially supported by the University of Athens under the project “Kapodistrias” (grant no. 70/4/5827). |
| |
Keywords: | KeywordHeading" >Mathematics Subject Classification (2000). 68N15 68N18 68N20 |
本文献已被 SpringerLink 等数据库收录! |
|