Bidirectionalization transformation based on automatic derivation of view complement functions

DOI10.1145/1291151.1291162zbMath1291.68147OpenAlexW2121357705MaRDI QIDQ5168924

Masato Takeichi, Keisuke Nakano, Makoto Hamana, Kazutaka Matsuda, Zhenjiang Hu

Publication date: 21 July 2014

Published in: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1291151.1291162

zbMATH Keywords

program transformationprogram inversionautomatic program generationview updatingbidirectional transformation

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Generic recursive lens combinators and their calculation laws ⋮ Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Reversible computation in term rewriting ⋮ Contract lenses: Reasoning about bidirectional programs via calculation ⋮ Towards a taxonomy for reversible computation approaches ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Completion after Program Inversion of Injective Functions ⋮ A theory of reversibility for Erlang ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization

This page was built for publication: Bidirectionalization transformation based on automatic derivation of view complement functions