The following pages link to (Q4738113):
Displaying 6 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Longest segment of balanced parentheses: an exercise in program inversion in a segment problem (Q5020908) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)
