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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-33314-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1955522726
@@ Property / OpenAlex ID: W1955522726 / rank @@
+Normal rank
@@ 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