Reversing an imperative concurrent programming language

We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two versions. The first performs forward execution and saves information necessary for reversal. The second uses this saved information to simulate...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 223; S. 102873
Hauptverfasser:	Hoey, James, Ulidowski, Irek
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.11.2022
Schlagworte:	Correct reversal of execution Inverse concurrent execution Reversible computation Inverse concurrent execution Reversible computation Correct reversal of execution
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!