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 10 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← 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)
