scientific article; zbMATH DE number 1696777

MaRDI QIDQ2767032zbMATH OpenFDO

Authors Elvira Albert, Michael Hanus, Germán Vidal

Publication date 22 July 2002

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.
• scientific article; zbMATH DE number 1692905 (Why is no real title available?)
• 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:

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