Reversible computation is a computing paradigm where execution can progress backward as well as in the usual, forward direction. It has found applications in many areas of computer science, such as circuit design, programing languages, simulation, modeling 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 programing language.
Reversible Computing in Debugging of Erlang Programs / Lanese I.; Schultz U.P.; Ulidowski I.. - In: IT PROFESSIONAL. - ISSN 1520-9202. - STAMPA. - 24:1(2022), pp. 74-80. [10.1109/MITP.2021.3117920]
Reversible Computing in Debugging of Erlang Programs
Lanese I.;
2022
Abstract
Reversible computation is a computing paradigm where execution can progress backward as well as in the usual, forward direction. It has found applications in many areas of computer science, such as circuit design, programing languages, simulation, modeling 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 programing language.File | Dimensione | Formato | |
---|---|---|---|
main-debugging.pdf
Open Access dal 22/08/2022
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
639.45 kB
Formato
Adobe PDF
|
639.45 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.