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 …

Quantum algorithms for tasks such as factorization, search, and simulation rely on control
flow such as branching and iteration that depends on the value of data in superposition …

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) …

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

The reversible execution of C/C++ code has been a target of research and engineering for
more than a decade as reversible computation has become a central notion in large-scale …

A reversible programming language supports deterministic forward and backward
computation. This tutorial focuses on a high-level reversible programming language Janus …

rfun is a small first-order reversible functional language introduced by Yokoyama et al. in
2012. The present paper aims to further the understanding of reversible functional …

A linear-time reversible self-interpreter in an r-Turing complete reversible imperative
language is presented. The proposed imperative language has reversible structured control …