@INPROCEEDINGS{HanusZartmann94SAS,
author = "Hanus, M. and Zartmann, F.",
title = "Mode Analysis of Functional Logic Programs",
year = "1994",
pages = "26-42",
publisher = "Springer LNCS 864",
booktitle = "Proc.\ 1st International Static Analysis Symposium",
abstract = {
Functional logic languages amalgamate functional and logic programming
paradigms. They can be efficiently implemented by extending techniques
known from logic programming. Such implementations can be largely
improved if information about the run-time behavior, in particular the
modes of function calls, is available at compile time. In this paper
we present a framework to derive such global information. The
concrete operational semantics considered in this paper is normalizing
innermost narrowing, which combines the deterministic reduction
principle of functional languages with the nondeterministic search
principle of logic languages. Due to the normalization process
between narrowing steps, standard analysis frameworks for logic
programming cannot be applied. Therefore we develop new techniques to
correctly approximate the effect of the intermediate normalization
process.
}, }