The powerset operator on abstract interpretations (Q1960538): Difference between revisions

@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness analysis for higher-order functions
@@ Property / cites work: Strictness analysis for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up abstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Comparison of abstract interpretations
@@ Property / cites work: Comparison of abstract interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal groundness analysis using propositional logic
+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 @@
+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 @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+Complementing logic program semantics
@@ Property / cites work: Complementing logic program semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal domains for disjunctive abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875320
@@ Property / cites work: Q3875320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713564
@@ Property / cites work: Q3713564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221885
@@ Property / cites work: Q3221885 / rank @@
+Normal rank