Emerging quantum algorithms for problems such as element distinctness, subset sum, and
closest pair demonstrate computational advantages by relying on abstract data structures …

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

Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

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 …

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 …

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 …

This thesis (Habilitation\a diriger des recherches) presents some of my research
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …

Software plays a central role in all aspects of reversible computing. We survey the breadth of
topics and recent activities on reversible software and systems including behavioural types …

We extend the reversible language Janus with support for class-based object-oriented
programming, class inheritance and subtype-polymorphism. We describe how to implement …