Specialization of inductively sequential functional logic programs

  • Authors:

  • María Alpuente;Michael Hanus;Salvador Lucas;Germán Vidal

  • Affiliations:

  • DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain;Informatik II, RWTH Aachen, D-52056 Aachen, Germany;DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain;DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain

  • Venue:
  • Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequential programs admit the definition of optimal computation strategies and are the basis of several recent (lazy) functional logic languages. In this paper, we define a partial evaluator for inductively sequential functional logic programs. We prove strong correctness of this partial evaluator and show that the nice properties of inductively sequential programs carry over to the specialization process and the specialized programs. In particular, the structure of the programs is preserved by the specialization process. This is in contrast to other partial evaluation methods for functional logic programs which can destroy the original program structure. Finally, we present some experiments which highlight the practical advantages of our approach.