The following pages link to (Q4364365):
Displaying 6 items.
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- A debugging scheme for functional logic programs (Q2841284) (← links)
- A narrowing-based instantiation rule for rewriting-based fold/unfold transformations (Q2844061) (← links)
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)