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

@@ Property / DOI @@
-.1016/j.cl.2011.10.004
@@ Property / DOI: 10.1016/j.cl.2011.10.004 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P15
@@ Property / Mathematics Subject Classification ID: 68P15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 68P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6098628
@@ Property / zbMATH DE Number: 6098628 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+databases
@@ Property / zbMATH Keywords: databases / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SQL
@@ Property / zbMATH Keywords: SQL / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program analysis
@@ Property / zbMATH Keywords: program analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract interpretation
@@ Property / zbMATH Keywords: abstract interpretation / rank @@
+Normal rank
@@ 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.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
@@ Property / DOI @@
+.1016/J.CL.2011.10.004
@@ Property / DOI: 10.1016/J.CL.2011.10.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:456469