scientific article; zbMATH DE number 2032417

MaRDI QIDQ4446264zbMATH OpenFDO

Authors Pascual Julián Iranzo

Publication date 26 January 2004

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Specialization of functional logic programs based on needed narrowing
• The narrowing-driven approach to functional logic program specialization
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Fast narrowing-driven partial evaluation for inductively sequential programs
• scientific article; zbMATH DE number 1696777

Cited in

(19)

• Partial evaluation in logic programming
• scientific article; zbMATH DE number 1973220 (Why is no real title available?)
• An operational semantics of sharing in lazy evaluation
• The narrowing-driven approach to functional logic program specialization
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
• scientific article; zbMATH DE number 1692896 (Why is no real title available?)
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• Fast Offline Partial Evaluation of Large Logic Programs
• Cost-augmented partial evaluation of functional logic programs
• A residualizing semantics for the partial evaluation of functional logic programs.
• scientific article; zbMATH DE number 549962 (Why is no real title available?)
• Specialization of inductively sequential functional logic programs
• Preliminary arrangements of arguments in lazy evaluation
• scientific article; zbMATH DE number 815068 (Why is no real title available?)
• scientific article; zbMATH DE number 1696777 (Why is no real title available?)
• scientific article; zbMATH DE number 3978352 (Why is no real title available?)
• scientific article; zbMATH DE number 2124969 (Why is no real title available?)
• scientific article; zbMATH DE number 5007860 (Why is no real title available?)

Describes a project that uses

Uses Software

• BABEL

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 Q4446264)