A Design-Based Model of Reversible Computation (Q5307475)
From MaRDI portal
scientific article; zbMATH DE number 5191182
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Design-Based Model of Reversible Computation |
scientific article; zbMATH DE number 5191182 |
Statements
A Design-Based Model of Reversible Computation (English)
0 references
14 September 2007
0 references
reversible computing
0 references
backtracking
0 references
Hoare-He designs
0 references
wp calculus
0 references
prospective values
0 references
