A residualizing semantics for the partial evaluation of functional logic programs |
| |
Authors: | Elvira Albert Germán Vidal |
| |
Affiliation: | a DSIC, U. Politécnica de Valencia, Camino de Vera s/n, E-46022 Valencia, Spain b Institut für Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany |
| |
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 paper, 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. |
| |
Keywords: | Programming languages Formal semantics Program transformation |
本文献已被 ScienceDirect 等数据库收录! |
|