Specialization of functional logic programs based on needed narrowing
From MaRDI portal
Publication:3370571
DOI10.1017/S1471068404002303zbMATH Open1092.68018DBLPjournals/tplp/AlpuenteLHV05OpenAlexW2119451064WikidataQ57978240 ScholiaQ57978240MaRDI QIDQ3370571FDOQ3370571
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
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
- 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 (17)
- 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
- Order-Sorted Generalization
- Termination of narrowing via termination of rewriting
- Optimizing Maude programs via program specialization
- Title not available (Why is that?)
- Narrowing and rewriting logic: from foundations to applications
- Symbolic Specialization of Rewriting Logic Theories with Presto
- Extra variables can be eliminated from functional logic programs
- Optimization of rewrite theories by equational partial evaluation
- Rules + strategies for transforming lazy functional logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Functional Logic Programming: From Theory to Curry
- Lazy context cloning for non-deterministic graph rewriting
Uses Software
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)
