Reversible computing is motivated by the von Neumann-Landauer (VNL) principle, a
theorem of modern physics telling us that ordinary irreversible logic operations (which …

A reversible programming language supports deterministic forward and backward
computation. We formalize the programming language Janus and prove its reversibility. We …

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

With the advent of nanometer technology, circuits are more prone to transient faults that can
occur during its operation. Of the different types of transient faults reported in the literature …

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

Conventional digital circuits dissipate a significant amount of energy because bits of
information are erased during the logic operations. Thus, if logic gates are designed such …

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 …

To advance the energy efficiency of general digital computing far beyond the
thermodynamic limits that apply to conventional digital circuits will require utilizing the …

Many of the fundamental limits on information processing, from thermodynamics, relativity,
and quantum mechanics, are only a few decades away. Novel physically motivated …

Quantum algorithms for tasks such as factorization, search, and simulation rely on control
flow such as branching and iteration that depends on the value of data in superposition …