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

This paper presents the fundamentals of reversible flowcharts. Reversible flowcharts are
intended to naturally represent the structure and control flow of reversible (imperative) …

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 …

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 …

Reversible computation is a paradigm allowing computation to proceed not only in the
usual, forward direction, but also backwards. Reversible computation has been studied in a …

We provide a treatment of the reversible Turing machines (RTMs) under a strict function
semantics. Unlike many existing reversible computation models, we distinguish strictly …

Some aspects of logical reversibility for computing devices with a finite number of discrete
internal states are addressed. These devices have a read-only input tape, may be equipped …

By former and recent results the model of reversible deterministic finite automata is well
understood. On the other hand, reversible nondeterministic finite automata and their …

We study reversible deterministic finite automata (REV-DFAs), that are partial deterministic
finite automata whose transition function induces an injective map** on the state set for …

This paper is concerned with the expressivity and denotational semantics of a functional
higher-order reversible programming language based on Theseus. In this language, pattern …