Specialization of functional logic programs based on needed narrowing
From MaRDI portal
Publication:3370571
DOI10.1017/S1471068404002303zbMath1092.68018WikidataQ57978240 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)
Related Items
Functional Logic Programming: From Theory to Curry, Order-Sorted Generalization, Programming with narrowing: a tutorial, Termination of narrowing via termination of rewriting, 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, A Modular Equational Generalization Algorithm
Uses Software