Reversibility is a key issue in the interface between computation and physics, and of
growing importance as miniaturization progresses towards its physical limits. Most …

Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

The theory of reversible computing is based on invertible primitives and composition rules
that preserve invertibility. With these constraints, one can still satisfactorily deal with both …

In our previous work, we developed a reversible programming language and established
that every computation in it is a (partial) isomorphism that is reversible and that preserves …

Today's computers are based on irreversible logic devices, which have been known to be
fundamentally energy-inefficient for several decades. Recently, alternative reversible logic …

Reversible computing is a paradigm where computing models are defined so that they
reflect physical reversibility, one of the fundamental microscopic physical property of Nature …

Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …

We provide a treatment of the reversible Turing machines (RTMs) under a strict function
semantics. Unlike many existing reversible computation models, we distinguish strictly …

Abstract Information loss from a computation implies energy dissipation due to Landauer's
Principle. Thus, increasing the amount of useful computational work that can be …

Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …