Reversible Computing in Debugging of Erlang Programs - Inria - Institut national de recherche en sciences et technologies du numérique
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)

Licence

Copyright (Tous droits réservés)

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⟩
33 Consultations
83 Téléchargements

Altmetric

Partager

More