We describe the design of a purely reversible computing architecture, Bob, and its
instruction set, BobISA. The special features of the design include a simple, yet expressive …

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 …

There exists a set of reversible primitive modules that may be combined according to a set of
simple rules to create larger systems, which are themselves reversible primitive modules …

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 …

A reversible programming language supports deterministic forward and backward
computation. This tutorial focuses on a high-level reversible programming language Janus …

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

The paper presents a small reversible language R-CORE, a structured imperative
programming language with symbolic tree-structured data (S-expressions). The language is …

We describe a reversible instruction set architecture using recently developed reversible
logic design techniques. Such an architecture has the dual advantage of being able to run …

Reversible logic is a computational model where all gates are logically reversible and
combined in circuits such that no values are lost or duplicated. This paper presents a novel …

Reversibility is the only way to compute with asymptotically zero power, and is a novel
approach to low power, low energy computing. Recent implementations of reversible and …