Reversible Computing in Debugging of Erlang Programs

Ivan Lanese*, Ulrik P. Schultz, Irek Ulidowski

*Kontaktforfatter for dette arbejde

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Abstrakt

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.

OriginalsprogEngelsk
TidsskriftIT Professional
Vol/bind24
Udgave nummer1
Sider (fra-til)74-80
ISSN1520-9202
DOI
StatusUdgivet - 2022

Bibliografisk note

Publisher Copyright:
© 1999-2012 IEEE.

Fingeraftryk

Dyk ned i forskningsemnerne om 'Reversible Computing in Debugging of Erlang Programs'. Sammen danner de et unikt fingeraftryk.

Citationsformater