Search
Search Results
-
Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during...
-
Reversible Debugging in Logic Programming
Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to...
-
Compositional Reversible Computation
Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path...
-
Connecting Reversible and Classical Computing Through Hybrid SSA
Despite the numerous benefits of reversible computing, non-reversible systems remain relevant in the real world. There are cases where reversibility...
-
Optimization of Reversible Control Flow Graphs
Growing interest in reversible computation has led to an accelerated development of reversible programming languages and software, which reinforces...
-
Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages
This position paper sketches an analysis of the essential features that logic-based programming languages will need to embrace to compete in a...
-
Towards a Taxonomy for Reversible Computation Approaches
Reversible computation is a paradigm allowing computation to proceed not only in the usual, forward direction, but also backwards. Reversible...
-
Optimizing Reversible Programs
Reversible programming languages have been a focus of research for more than the last decade mostly due to the work of Glück, Yokoyama, Mogensen, and...
-
Jeopardy: An Invertible Functional Programming Language
Reversible programming languages guarantee that their programs are invertible at the cost of restricting the permissible operations to those which...
-
Towards Clean Reversible Lossless Compression
Zip and unzip are everyday tools in today’s digital world. Since they are inherently inverse to each other, they are ideal for studying reversible...
-
Designing a Reversible Stack Machine
Reversible computing is a continuously advancing area of active research and an increasing number of available reversible programming languages,...
-
Making Programs Reversible with Minimal Extra Data
Reversible computing is an unconventional computing paradigm that comes with specific challenges. One of the important questions is the existence of...
-
Reversible Functional Array Programming
Functional array programming is a style of programming that enables massive parallelism through use of combinators (such as map and reduce) that...
-
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language
We present the CRSSA (Concurrent Reversible Static Single Assignment) form for a concurrent reversible intermediate language called CRIL, which the...
-
Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
This book constitutes the refereed proceedings of the 13thInternational Conference on Reversible Computation, RC 2021, which was held online during...
-
Reversible Programming Languages Capturing Complexity Classes
We argue that there is a link between implicit computational complexity theory and the theory of reversible computation. We show that the complexity...
-
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
This paper investigates the energy efficiency of reversible programs executed on irreversible hardware. Motivated by Landauer’s principle, which...
-
Implementation of a Reversible Distributed Calculus
Process calculi ( \(\pi \) -calculus, CCS,...
-
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
The reliability of concurrent and distributed systems often depends on some well-known techniques for fault tolerance. One such technique is based on...
-
Algorithmically Expressive, Always-Terminating Model for Reversible Computation
Concerning classical computational models able to express all the Primitive Recursive Functions (PRF), there are interesting results regarding limits...