zbMATH — the first resource for mathematics

A practical partial evaluation scheme for multi-paradigm declarative languages. (English) Zbl 1037.68011
Summary: We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to previous approaches, we consider an intermediate representation for programs into which source programs can be automatically translated. The use of this simplified representation, together with the appropriate control issues, make our partial evaluation scheme practically applicable to modern multi-paradigm declarative languages like Curry. An implementation of a partial evaluator for Curry programs has been undertaken. The partial evaluator allows the specialization of programs containing higher-order functions, calls to external functions, concurrent constraints, etc. Our partial evaluation tool is integrated in the PAKCS programming environment for the language Curry as a source-to-source transformation on intermediate programs. The partial evaluator is written in Curry itself. To the best of our knowledge, this is the first purely declarative partial evaluator for a multi-paradigm functional logic language.

68N15 Theory of programming languages
Full Text: Link