Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141): Difference between revisions

@@ Property / cites work @@
+Q2721101
@@ Property / cites work: Q2721101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885873
@@ Property / cites work: Q4885873 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of structure-shy programs with application to XPath queries and strategic functions
+Normal rank
@@ Property / cites work @@
+Combinators for bi-directional tree transformations
+Normal rank
@@ Property / cites work @@
+Quotient lenses
@@ Property / cites work: Quotient lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-paradigm Declarative Languages
@@ Property / cites work: Multi-paradigm Declarative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Bidirectionalizing graph transformations
@@ Property / cites work: Bidirectionalizing graph transformations / rank @@
+Normal rank
@@ Property / cites work @@
+A programmable editor for developing structured documents based on bidirectional transformations
+Normal rank
@@ Property / cites work @@
+Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
+Normal rank
@@ Property / cites work @@
+Bidirectionalization transformation based on automatic derivation of view complement functions
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming from Galois Connections
@@ Property / cites work: Programming from Galois Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Static Checking by Calculation Using the Pointfree Transform
+Normal rank
@@ Property / cites work @@
+Generic Point-free Lenses
@@ Property / cites work: Generic Point-free Lenses / rank @@
+Normal rank
@@ Property / cites work @@
+Bidirectionalization for free! (Pearl)
@@ Property / cites work: Bidirectionalization for free! (Pearl) / rank @@
+Normal rank
@@ Property / cites work @@
+Combining syntactic and semantic bidirectionalization
+Normal rank
@@ Property / cites work @@
+Gradual Refinement
@@ Property / cites work: Gradual Refinement / rank @@
+Normal rank