Few books comprehensively cover the software and programming aspects of reversible
computing. Filling this gap, Introduction to Reversible Computing offers an expanded view 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 …

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 …

This paper presents a novel editor supporting interactive refinement in the development of
structured documents. The user performs a sequence of editing operations on the document …

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

Divide-and-conquer algorithms are suitable for modern parallel machines, tending to have
large amounts of inherent parallelism and working well with caches and deep memory …

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

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 …

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 …

In many occasions would one encounter the task of maintaining the consistency of two
pieces of structured data that are related by some transform—synchronising bookmarks in …