Pages that link to "Item:Q3370571"
From MaRDI portal
The following pages link to Specialization of functional logic programs based on needed narrowing (Q3370571):
Displaying 14 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency (Q2743695) (← links)
- Specialization of inductively sequential functional logic programs (Q2817728) (← links)
- Evaluation strategies for functional logic programming (Q2841220) (← links)
- Lazy context cloning for non-deterministic graph rewriting (Q2867896) (← links)
- Extra variables can be eliminated from functional logic programs (Q2867956) (← links)
- Narrowing and rewriting logic: from foundations to applications (Q2873786) (← links)
- A Modular Equational Generalization Algorithm (Q3617428) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Order-Sorted Generalization (Q4982625) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)