The following pages link to Program inversion: More than fun! (Q751841):
Displaying 10 items.
- Program inversion in the refinement calculus (Q750160) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Inversion of a recursive tree traversal (Q1183407) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Constructing a binary tree from its traversals by reversible recursion and iteration (Q2414043) (← links)
- Reverse Hoare Logic (Q3095238) (← links)
- Categories, relations and dynamic programming (Q4286530) (← links)
- Programming Languages and Systems (Q5902364) (← links)
- Programming Languages and Systems (Q5902365) (← links)