Characterizing Compatible View Updates in Syntactic Bidirectionalization

DOI10.1007/978-3-030-21500-2_5MaRDI QIDQ5237214zbMATH OpenOpenAlexFDO

Authors Naoki Nishida, Germán Vidal

Publication date 17 October 2019

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21500-2_5

zbMATH Keywords

bidirectional transformationsfunctional programming languagesnarrowingterm rewriting

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Combining syntactic and semantic bidirectionalization
• scientific article; zbMATH DE number 23835
• Constant Complements, Reversibility and Universal View Updates
• A syntactic view of computational adequacy
• Properties and update semantics of consistent views
• scientific article; zbMATH DE number 1785006

Cites work

• A method for automatic program inversion based on LR(0) parsing
• A program inverter for a functional language with equality and constructors.
• Automated Complexity Analysis Based on the Dependency Pair Method
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Bidirectionalization for free! (Pearl)
• Bidirectionalization transformation based on automatic derivation of view complement functions
• Bidirectionalizing graph transformations
• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• CONCUR 2004 - Concurrency Theory
• Conditional rewrite rules: Confluence and termination
• Deforestation: Transforming programs to eliminate trees
• Determinization of conditional term rewriting systems
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Irreversibility and Heat Generation in the Computing Process
• Mappings and grammars on trees
• Matching lenses: alignment and view update
• Order-sorted completion: The many-sorted way
• Reversible computation in term rewriting
• Reversing algebraic process calculi
• Term Rewriting and All That
• Termination of narrowing via termination of rewriting
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• Three complementary approaches to bidirectional programming
• Update semantics of relational views

Cited in

(2)

• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Towards a taxonomy for reversible computation approaches

This page was built for publication: Characterizing Compatible View Updates in Syntactic Bidirectionalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5237214)