Pages that link to "Item:Q750160"
From MaRDI portal
The following pages link to Program inversion in the refinement calculus (Q750160):
Displaying 5 items.
- Program self-reference in constructive Scott subdomains (Q693046) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- A theoretical approach to program inversion (Q2770741) (← links)
- Reverse Hoare Logic (Q3095238) (← links)
- Contract lenses: Reasoning about bidirectional programs via calculation (Q6065510) (← links)