Using an abstract representation to specialize functional logic programs

DOI10.1007/3-540-44404-1_24MaRDI QIDQ2767032zbMATH OpenFDO

Authors Elvira Albert, Michael Hanus, Germán Vidal

Publication date 22 July 2002

Published in Lecture Notes in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44404-1_24

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1950450
• scientific article; zbMATH DE number 2032417
• Specialization of inductively sequential functional logic programs
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• scientific article; zbMATH DE number 25188

Cited in

(9)

• A residualizing semantics for the partial evaluation of functional logic programs.
• A practical partial evaluator for a multi-paradigm declarative language
• Specialization of inductively sequential functional logic programs
• Specialization of functional logic programs based on needed narrowing
• scientific article; zbMATH DE number 1950450 (Why is no real title available?)
• scientific article; zbMATH DE number 1973220 (Why is no real title available?)
• scientific article; zbMATH DE number 2032417 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• The narrowing-driven approach to functional logic program specialization

Describes a project that uses

Uses Software

• Mercury
• ECCE

This page was built for publication: Using an abstract representation to specialize functional logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767032)