Towards the Global Optimization of Functional Logic Programs (1994)
| Venue: | In Proc. 5th International Conference on Compiler Construction. LNCS 786:68-82 |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Hanus94towardsthe,
author = {Michael Hanus},
title = {Towards the Global Optimization of Functional Logic Programs},
booktitle = {In Proc. 5th International Conference on Compiler Construction. LNCS 786:68-82},
year = {1994},
pages = {68--82},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Functional logic languages amalgamate functional and logic programming paradigms. They can be efficiently implemented by extending techniques known from logic programming. In this paper we show how global information about the call modes of functions can be used to optimize the compilation of functional logic programs. Since mode information has been successfully used to improve the implementation of pure logic programs and these techniques can be applied to implementations of functional logic programs as well, we concentrate on optimizations which are unique to the operational semantics of functional logic programs. We define a suitable notion of modes for functional logic programs and present compile-time techniques to optimize the normalization process during the execution of functional logic programs. 1 Introduction In recent years, a lot of proposals have been made to amalgamate functional and logic programming languages [7, 17]. Functional logic languages with a so...
