An offline partial evaluator for curry programs

Authors:
J. Guadalupe Ramos;Josep Silva;Germán Vidal
Affiliations:
Tech. University of Valencia (Spain), La Piedad, Mich., México;T.U. Valencia, Valencia, Spain;T.U. Valencia, Valencia, Spain
Venue:
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Year:
2005

Citing 7
Cited 0

Termination of rewriting

Journal of Symbolic Computation
Deforestation: transforming programs to eliminate trees

Proceedings of the Second European Symposium on Programming
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
The narrowing-driven approach to functional logic program specialization

New Generation Computing - Partial evaluation and program transformation
A residualizing semantics for the partial evaluation of functional logic programs

Information Processing Letters
Specialization of functional logic programs based on needed narrowing

Theory and Practice of Logic Programming
Fast narrowing-driven partial evaluation for inductively sequential programs

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.01

Visualization

Abstract

Narrowing-driven partial evaluation is a powerful technique for the specialization of functional logic programs. In this paper, we describe the implementation of a narrowing-driven partial evaluator for Curry programs which follows the offline approach to ensuring termination. Although the new partial evaluator is less precise than previous (online) partial evaluators for Curry, it is much faster and, thus, allows the specialization of larger programs.