Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

Written by one of the few top internationally recognized experts in the field, this book
concentrates on those topics that will remain fundamental, such as low power computing …

Bidirectional model transformation is a key technology in model-driven engineering (MDE),
when two models that can change over time have to be kept constantly consistent with each …

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 …

This communication presents the complete design of a reversible arithmetic logic unit (ALU)
that can be part of a programmable reversible computing device such as a quantum …

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 …

Reversible computing allows one to execute programs both in the standard, forward
direction, and backward, going back to past states. In a concurrent scenario, the correct …

The notion of reversible computation is attracting increasing interest because of its
applications in diverse fields, in particular the study of programming abstractions for reliable …

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