A reversible debugger for imperative parallel programs with contracts
From MaRDI portal
Publication:2097431
DOI10.1007/978-3-031-09005-9_14MaRDI QIDQ2097431
Publication date: 11 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_14
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
81P68: Quantum computation
68Q09: Other nonclassical models of computation
Uses Software
Cites Work