A partial evaluation tool for multi-paradigm declarative languages
Germán Vidal · 2005
This article describes a practical (online) partial evaluation tool which is applicable to modern multi-paradigm declarative languages (like, e.g., Curry). The most recent proposal for multiparadigm declarative programming advocates the integration of features from functional, logic and concurrent programming. The developed tool has been successfully integrated into the PAKCS compiler for the language Curry.