The quotient of an abstract interpretation (Q1128983): Difference between revisions

@@ Property / author @@
-Gilberto File
@@ Property / author: Gilberto File / rank @@
-Normal rank
@@ Property / author @@
+Gilberto File
@@ Property / author: Gilberto File / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Optimal groundness analysis using propositional logic
+Normal rank
@@ Property / cites work @@
+On derived dependencies and connected databases
@@ Property / cites work: On derived dependencies and connected databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Frameworks for abstract interpretation
@@ Property / cites work: Frameworks for abstract interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation of the domain prop
@@ Property / cites work: Evaluation of the domain prop / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1128983