Specialization of functional logic programs based on needed narrowing
From MaRDI portal
Publication:3370571
DOI10.1017/S1471068404002303zbMath1092.68018DBLPjournals/tplp/AlpuenteLHV05OpenAlexW2119451064WikidataQ57978240 ScholiaQ57978240MaRDI QIDQ3370571
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
Related Items (11)
Optimization of rewrite theories by equational partial evaluation ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Optimizing Maude programs via program specialization ⋮ Functional Logic Programming: From Theory to Curry ⋮ Programming with narrowing: a tutorial ⋮ Termination of narrowing via termination of rewriting ⋮ A Modular Equational Generalization Algorithm ⋮ Order-Sorted Generalization ⋮ Lazy Context Cloning for Non-Deterministic Graph Rewriting ⋮ Extra Variables Can Be Eliminated from Functional Logic Programs ⋮ Narrowing and Rewriting Logic: from Foundations to Applications
Uses Software
This page was built for publication: Specialization of functional logic programs based on needed narrowing
