Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214): Difference between revisions

@@ Property / cites work @@
+The universal resolving algorithm and its correctness: Inverse computation in a functional language
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of relational views
@@ Property / cites work: Update semantics of relational views / rank @@
+Normal rank
@@ Property / cites work @@
+Matching lenses
@@ Property / cites work: Matching lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators for bi-directional tree transformations
+Normal rank
@@ Property / cites work @@
+Three Complementary Approaches to Bidirectional Programming
+Normal rank
@@ Property / cites work @@
+Order-sorted completion: The many-sorted way
@@ Property / cites work: Order-sorted completion: The many-sorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472880
@@ Property / cites work: Q5472880 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bidirectionalizing graph transformations
@@ Property / cites work: Bidirectionalizing graph transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Bidirectionalization transformation based on automatic derivation of view complement functions
+Normal rank
@@ Property / cites work @@
+Determinization of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Reversible computation in term rewriting
@@ Property / cites work: Reversible computation in term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of narrowing via termination of rewriting
+Normal rank
@@ Property / cites work @@
+Characterizing Compatible View Updates in Syntactic Bidirectionalization
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Bidirectionalization for free! (Pearl)
@@ Property / cites work: Bidirectionalization for free! (Pearl) / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank