Abstract interpretation of database query languages (Q456469): Difference between revisions

@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
+Normal rank
@@ Property / cites work @@
+Q5706740
@@ Property / cites work: Q5706740 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition tables for experiments. II: Two-one randomizations
+Normal rank
@@ Property / cites work @@
+Cooperative Query Answering by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3340207
@@ Property / cites work: Q3340207 / rank @@
+Normal rank