A residualizing semantics for the partial evaluation of functional logic programs.
type: Item
instance of: scholarly article
title: A residualizing semantics for the partial evaluation of functional logic programs.
zbMATH Open document ID: 1042.68023
DOI: 10.1016/S0020-0190(02)00336-8
author: Elvira Albert
author: Michael Hanus
author: Germán Vidal
published in: Information Processing Letters
publication date: 2003-01-21T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1856500
zbMATH Keywords: Programming languages
zbMATH Keywords: Formal semantics
zbMATH Keywords: Program transformation
MaRDI profile type: Publication
cites work: Q2767032
cites work: The narrowing-driven approach to functional logic program specialization
cites work: A needed narrowing strategy
cites work: Higher-order narrowing with definitional trees
cites work: Q2763698
cites work: Q5287559
cites work: A positive supercompiler
cites work: Deforestation: Transforming programs to eliminate trees
full work available at URL: s0020-0190(02)00336-8
OpenAlex ID: W2145960600
description: scientific article; zbMATH DE number 1856500