A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs

Elvira Albert, Michael Hanus, and Germán Vidal

© Elsevier
Information Processing Letters 85(1):19-25, 2003

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is based on a combination of narrowing and residuation. In this note, we introduce a non-standard, "residualizing" semantics for multi-paradigm declarative programs and prove its equivalence with the standard operational semantics. Our residualizing semantics is particularly relevant within the area of program transformation where it is useful, e.g., to perform computations during partial evaluation. The proof of equivalence is thus a crucial result to demonstrate the correctness of (existing) partial evaluation schemes based on the residualizing semantics.

Available: PDF (preliminary version) BibTeX-Entry

Germán Vidal