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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cl.2011.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1963857544
@@ Property / OpenAlex ID: W1963857544 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56041817
@@ Property / Wikidata QID: Q56041817 / rank @@
+Normal rank
@@ 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