The principles of reversible programming languages are explicated and illustrated with
reference to the design of a high-level imperative language, Janus. The fundamental …

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

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

Invertibility is a fundamental concept in computer science, with various manifestations in
software development (serializer/deserializer, parser/printer, redo/undo, compressor …

Context-sensitive rewriting is a restriction of term rewriting which is obtained by imposing
replacement restrictions on the arguments of function symbols. It has proven useful to …

Program inversion has many applications such as in the implementation of serialization/
deserialization and in providing support for redo/undo, and has been studied by many …

We propose a technique for synthesizing bidirectional programs from the corresponding
unidirectional code plus a few input/output examples. The core ideas are:(1) constructing a …

Program inversion is a fundamental problem that has been addressed in many different
programming settings and applications. In the context of term rewriting, several methods …

Unravelings are transformations from a conditional term rewriting system (CTRS, for short)
over an original signature into an unconditional term rewriting systems (TRS, for short) over …

Starting from the standard call-by-need reduction for the λ-calculus that is common to Ariola,
Felleisen, Maraist, Odersky, and Wadler, we inter-derive a series of hygienic semantic …