A reversible debugger for imperative parallel programs with contracts

DOI10.1007/978-3-031-09005-9_14MaRDI QIDQ2097431

Takashi Ikeda, Shoji Yuen

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_14

zbMATH Keywords

concurrency; contract annotations; reversible debugging

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

81P68: Quantum computation

68Q09: Other nonclassical models of computation

Uses Software

• CauDEr