The following pages link to (Q4217931):
Displaying 9 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- (Q3026312) (← links)
- Specialization of functional logic programs based on needed narrowing (Q3370571) (← links)
- (Q3725519) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)