The following pages link to Uniform Lazy Narrowing (Q4461934):
Displaying 6 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Formal properties of needed narrowing with similarity relations (Q2867957) (← links)
- Lazy narrowing with simplification (Q4395684) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)