Specialization of functional logic programs based on needed narrowing

DOI10.1017/S1471068404002303MaRDI QIDQ3370571zbMATH OpenOpenAlexDBLPWikidataFDO

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

(21)

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

Describes a project that uses

Uses Software

• TOY
• ECCE
• BABEL

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)