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

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

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

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

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 …

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 …

We describe the translation techniques used for the code generation in a compiler from the
high-level reversible imperative programming language Janus to the low-level reversible …

rfun is a small first-order reversible functional language introduced by Yokoyama et al. in
2012. The present paper aims to further the understanding of reversible functional …

In a reversible language, any forward computation can be undone by a finite sequence of
backward steps. Reversible computing has been studied in the context of different …

Erasure of information incurs an increase in entropy and dissipates heat. Therefore,
information-preserving computation is essential for constructing computers that use energy …