Bidirectional transformations (bx) are relevant for a wide range of application domains.
While bx problems may be solved with unidirectional languages and tools, maintaining …

Bayesian inference, of posterior knowledge from prior knowledge and observed evidence, is
typically defined by Bayes's rule, which says the posterior multiplied by the probability of an …

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

Bidirectional transformations (bx) have primarily been modeled as pure functions, and do
not account for the possibility of the side-effects that are available in most programming …

Bidirectional transformations (BX) serve to maintain consistency between different
representations of related and often overlap** information, translating changes in one …

Categories of polymorphic lenses in computer science, and of open games in compositional
game theory, have a curious structure that is reminiscent of compact closed categories, but …

Among the frameworks of bidirectional transformations proposed for addressing various
synchronisation (consistency maintenance) problems, Foster et al.'s [2007] asymmetric …

We propose HOBiT, a higher-order bidirectional programming language, in which users can
write bidirectional programs in the familiar style of conventional functional programming …

When complex IT systems are being developed, the usage of several programming and
modelling languages can lead to inconsistencies that yield faulty designs and …

One of the well-known results in concurrency theory concerns the relationship between
event structures and occurrence nets: an occurrence net can be associated with a prime …