We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Reversing an Imperative Concurrent Programming Language

Abstract: 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 reversal. We propose using identifiers to overcome challenges of reversing concurrent programs. We prove this reversibility to be correct, showing that the initial program state is restored and that all saved information is used (garbage-free).
Comments: 48 pages, 21 figures
Subjects: Programming Languages (cs.PL)
Cite as: arXiv:2205.01171 [cs.PL]
  (or arXiv:2205.01171v1 [cs.PL] for this version)

Submission history

From: James Hoey [view email]
[v1] Mon, 2 May 2022 19:27:24 GMT (77kb)

Link back to: arXiv, form interface, contact.