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 …

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

During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …

A reversible programming language is a programming language in which you can only write
reversible programs, ie, programs that can be run both forwards (computing outputs from …

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 …

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 …

Reversible programming languages have been a focus of research for more than the last
decade mostly due to the work of Glück, Yokoyama, Mogensen, and many others. In this …

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 …