Reversible Computing in Debugging of Erlang Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles IT Professional Year : 2022

Reversible Computing in Debugging of Erlang Programs

Ulrik Schultz
Irek Ulidowski


Reversible computation is a computing paradigm where execution can progress backwards as well as in the usual, forward direction. It has found applications in many areas of computer science, such as circuit design, programming languages, simulation, modelling of biochemical reactions, debugging and robotics. In this article, we give an overview of reversible computation focusing on its use in reversible debugging of concurrent programs written in the Erlang programming language.


Fichier principal
Vignette du fichier
main-debugging.pdf (454.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Licence : Copyright

Dates and versions

hal-03917301 , version 1 (01-01-2023)



Ivan Lanese, Ulrik Schultz, Irek Ulidowski. Reversible Computing in Debugging of Erlang Programs. IT Professional, 2022, 24 (1), pp.74-80. ⟨10.1109/MITP.2021.3117920⟩. ⟨hal-03917301⟩
15 View
22 Download



Gmail Facebook Twitter LinkedIn More