Specialization of functional logic programs based on needed narrowing

DOI10.1017/S1471068404002303MaRDI QIDQ3370571zbMATHOpenAlexDBLPWikidataFDO

Authors Salvador Lucas, Germán Vidal, Michael Hanus, María Alpuente

Publication date 8 February 2006

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068404002303

zbMATH Keywords

partial evaluationfunctional logic programmingneeded narrowing

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• The narrowing-driven approach to functional logic program specialization
• Specialization of inductively sequential functional logic programs
• scientific article; zbMATH DE number 1696777
• scientific article; zbMATH DE number 4164176
• scientific article; zbMATH DE number 1222408
• scientific article; zbMATH DE number 1407683
• scientific article; zbMATH DE number 1222414
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

Cited in

(20)

• Rules + strategies for transforming lazy functional logic programs
• Optimization of rewrite theories by equational partial evaluation
• Narrowing and rewriting logic: from foundations to applications
• Lazy context cloning for non-deterministic graph rewriting
• scientific article; zbMATH DE number 2079865 (Why is no real title available?)
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
• scientific article; zbMATH DE number 2032417 (Why is no real title available?)
• A Modular Equational Generalization Algorithm
• Order-sorted generalization
• scientific article; zbMATH DE number 1696592 (Why is no real title available?)
• Optimizing Maude programs via program specialization
• Functional Logic Programming: From Theory to Curry
• Termination of narrowing via termination of rewriting
• Programming with narrowing: a tutorial
• The narrowing-driven approach to functional logic program specialization
• Evaluation strategies for functional logic programming
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Specialization of inductively sequential functional logic programs
• Extra variables can be eliminated from functional logic programs

Describes a project that uses

Uses Software

• BABEL
• ECCE
• TOY

This page was built for publication: Specialization of functional logic programs based on needed narrowing

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