Reversible Computing in Debugging of Erlang Programs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IT Professional Année : 2022

Reversible Computing in Debugging of Erlang Programs

Ulrik Schultz
Irek Ulidowski

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
main-debugging.pdf (454.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)

Dates et versions

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

Identifiants

Citer

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⟩
23 Consultations
58 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More