A residualizing semantics for the partial evaluation of functional logic programs

Authors:
Elvira Albert;Michael Hanus;Germán Vidal
Affiliations:
DSIC, U. Politécnica de Valencia, Camino de Vera s/n, E-46022 Valencia, Spain;Institut für Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany;DSIC, U. Politécnica de Valencia, Camino de Vera s/n, E-46022 Valencia, Spain
Venue:
Information Processing Letters
Year:
2003

Citing 8
Cited 7

Deforestation: transforming programs to eliminate trees

Proceedings of the Second European Symposium on Programming
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
A unified computation model for functional and logic programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A needed narrowing strategy

Journal of the ACM (JACM)
The narrowing-driven approach to functional logic program specialization

New Generation Computing - Partial evaluation and program transformation
Definitional Trees

Proceedings of the Third International Conference on Algebraic and Logic Programming
Higher-order narrowing with definitional trees

Journal of Functional Programming
Using an abstract representation to specialize functional logic programs

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Symbolic Profiling for Multi-paradigm Declarative Languages

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Cost-Augmented Partial Evaluation of Functional Logic Programs

Higher-Order and Symbolic Computation
Specialization of functional logic programs based on needed narrowing

Theory and Practice of Logic Programming
An offline partial evaluator for curry programs

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Forward slicing of functional logic programs by partial evaluation

Theory and Practice of Logic Programming
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

Logic-Based Program Synthesis and Transformation
A program transformation for returning states in functional-logic programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation

Quantified Score

Hi-index	0.89

Visualization

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 multiparadigm 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.