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

Today's computers are based on irreversible logic devices, which have been known to be
fundamentally energy-inefficient for several decades. Recently, alternative reversible logic …

Abstract Information loss from a computation implies energy dissipation due to Landauer's
Principle. Thus, increasing the amount of useful computational work that can be …

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

Reversible computing has been studied since Rolf Landauer advanced the argument that
has come to be known as Landauer's principle. This principle states that there is no …

Time, Space, and Energy in Reversible Computing Page 1 Time, Space, and Energy in
Reversible Computing Paul Vitányi ∗ CWI University of Amsterdam National ICT of Australia …

Reversible logic is of increasing importance to many future computer technologies. We
introduce a regular structure to realize symmetric functions in binary reversible logic. This …

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 computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

The development of computing machines found great success in the last decades. But the
ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking …