We propose a novel approach to the view-update problem for tree-structured data: a domain-
specific programming language in which all expressions denote bidirectional …

We propose a novel approach to the well-known view update problem for the case of tree-
structured data: a domain-specific programming language in which all expressions denote …

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

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 …

Bidirectional transformations provide a novel mechanism for synchronizing and maintaining
the consistency of information between input and output. Despite many promising results on …

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 …

Parsers and pretty-printers for a language are often quite similar, yet both are typically
implemented separately, leading to redundancy and potential inconsistency. We propose a …

The need to edit source data through a view arises in a host of applications across many
different areas of computing. Unfortunately, few existing systems provide support for …