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

Abstract

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.

Keywords

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)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More