The following pages link to (Q4299163):
Displaying 5 items.
- Improving recursive functions by inverting the order of evaluation (Q1193746) (← links)
- Rewriting systems on FP expressions to reduce the number of sequences yielded (Q1819572) (← links)
- Indexical translation of tail-recursive functions (Q2758322) (← links)
- Reducing recursion to iteration by means of pairs and N-tuples (Q3789047) (← links)
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension (Q4950861) (← links)