Few books comprehensively cover the software and programming aspects of reversible
computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of …

The principles of reversible programming languages are explicated and illustrated with
reference to the design of a high-level imperative language, Janus. The fundamental …

We identify concepts of reversibility for a functional language by means of a set of semantic
rules with specific properties. These properties include injectivity along with local backward …

Undoing computations of a concurrent system is beneficial in many situations, eg, in
reversible debugging of multi-threaded programs and in recovery from errors due to …

Emerging quantum algorithms for problems such as element distinctness, subset sum, and
closest pair demonstrate computational advantages by relying on abstract data structures …

The notion of reversible computation is attracting increasing interest because of its
applications in diverse fields, in particular the study of programming abstractions for reliable …

This paper presents the fundamentals of reversible flowcharts. Reversible flowcharts are
intended to naturally represent the structure and control flow of reversible (imperative) …

The generation of reversible circuits from high-level code is an important problem in several
application domains, including low-power electronics and quantum computing. Existing …

A reversible abstract machine architecture and its reversible machine code are presented
and formalized. For machine code to be reversible, both the underlying control logic and …

The reversible execution of C/C++ code has been a target of research and engineering for
more than a decade as reversible computation has become a central notion in large-scale …