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 …

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 …

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 …

Many irreversible computation models have reversible counterparts, but these are poorly
understood at present. We introduce reversible flowcharts with an assertion operator and …

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 …

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" rotary memory"(RM) is a simple logic element with both reversibility and a bit-conserving
property. In this paper, we show that this element is logically universal by using only RMS to …

Reversible languages occur in many different domains. Although the decision for the
membership of reversible languages was solved in 1992 by Pin, an effective construction 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 …

Reversible computing is a paradigm of computation that reflects physical reversibility, and is
considered to be important when designing a logical devices based on microscopic physical …