A reversible debugger for imperative parallel programs with contracts

DOI10.1007/978-3-031-09005-9_14OpenAlexW4293210020MaRDI 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

concurrencycontract annotationsreversible debugging

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Uses Software

• CauDEr

Cites Work

• Unnamed Item
• Cauder: a causal-consistent reversible debugger for Erlang
• A reversible runtime environment for parallel programs
• Causal-consistent replay debugging for message passing programs

This page was built for publication: A reversible debugger for imperative parallel programs with contracts