Pages that link to "Item:Q896906"
From MaRDI portal
The following pages link to Fundamentals of reversible flowchart languages (Q896906):
Displaying 14 items.
- On reversible Turing machines and their function universality (Q303695) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Reversible computation in term rewriting (Q1683707) (← links)
- Towards causal-consistent reversibility of imperative concurrent programs (Q2097433) (← links)
- Optimizing reversible programs (Q2097435) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Compiling Janus to RSSA (Q5162601) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- Optimization of reversible control flow graphs (Q6148107) (← links)
- Towards a dereversibilizer: fewer asserts, statically (Q6148113) (← links)
- (Q6197211) (← links)