Pages that link to "Item:Q6485502"
From MaRDI portal
The following pages link to Reversible Programs Have Reversible Semantics (Q6485502):
Displaying 6 items.
- Programs with restoration of computations (Q1592016) (← links)
- Reversible computation in term rewriting (Q1683707) (← links)
- Reversible object-oriented programming with region-based memory management (work in progress report) (Q1796400) (← links)
- Towards a Reversible Functional Language (Q2902497) (← links)
- Reversible Term Rewriting (Q5369493) (← links)
- Categorical semantics of reversible pattern-matching (Q6653745) (← links)