A residualizing semantics for the partial evaluation of functional logic programs.

DOI10.1016/S0020-0190(02)00336-8zbMath1042.68023OpenAlexW2145960600MaRDI QIDQ1853170

Germán Vidal, Elvira Albert, Michael Hanus

Publication date: 21 January 2003

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(02)00336-8

zbMATH Keywords

Program transformationFormal semanticsProgramming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (1)

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

Cites Work

• Deforestation: Transforming programs to eliminate trees
• A needed narrowing strategy
• Higher-order narrowing with definitional trees
• A positive supercompiler
• The narrowing-driven approach to functional logic program specialization
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A residualizing semantics for the partial evaluation of functional logic programs.