@article{AlbertHanusVidal03IPL,
author = "Elvira Albert and Michael Hanus and Germ{\'a}n Vidal",
title = "A Residualizing Semantics for the Partial Evaluation of 
         Functional Logic Programs",
journal = "Information Processing Letters",
volume = "85",
number = "1",
pages = "19-25",
year = 2003,
abstract = {
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 usually 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 a 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. Thus, the proof of equivalence is a crucial
result to demonstrate the correctness of (existing) partial evaluation
schemes.
}
}