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

The use of binary decision diagrams (BDDs) has proliferated in numerous fields. When a
system criterion is formulated in form of a Boolean function, its BDD is constructed. Each …

In recent years, research in the domain of reversible circuit design has attracted significant
attention leading to many different approaches for eg synthesis, optimization, simulation …

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 …

With recent interest in reversible and quantum computation, research in synthesis of
reversible and quantum circuits has increased in momentum. With additional requirements …

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

The generation of reversible circuits from high-level code is an important problem in several
application domains, including low-power electronics and quantum computing. Existing …

Due course of application in various domains like Low power CMOS Technology,
Nanotechnology and Quantum Computing lead Reversible logic to be a emerging …

The application of coding strategies is an established methodology to improve the
characteristics of on-chip interconnect architectures. Therefore, design methods are required …

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 …