The following pages link to (Q4364365):
Displayed 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 Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenci (Q2841284) (← links)
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)
- Optimizing Maude programs via program specialization (Q6175104) (← links)