Reversibility in Erlang: Imperative Constructs

A relevant application of reversibility is causal-consistent reversible debugging, which allows one to explore concurrent computations backward and forward to find a bug. This approach has been put into practice in CauDEr, a causal-consistent reversible debugger for the Erlang programming language....

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lami, Pietro, Lanese, Ivan, Stefani, Jean-Bernard, Sacerdoti Coen, Claudio, Fabbretti, Giovanni
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Causality Computer Science Debugging Erlang Reversible computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!