The powerset operator on abstract interpretations (Q1960538): 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 @@
+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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(98)00007-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1979603971
@@ Property / OpenAlex ID: W1979603971 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1960538