6533b859fe1ef96bd12b762b

RESEARCH PRODUCT

An offline partial evaluator for curry programs

J. Guadalupe RamosGermán VidalJosep Silva

subject

Computer scienceProgramming languageSpecialization (functional)Currycomputer.software_genrecomputerPartial evaluationcomputer.programming_language

description

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.

yearjournalcountryeditionlanguage
2005-09-29Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
https://doi.org/10.1145/1085099.1085109