A decision tree lifted domain for analyzing program families with numerical features (Q2044175): Difference between revisions

@@ Property / cites work @@
+Modeling role-based systems with exogenous coordination
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Scalable Segmented Decision Tree Abstract Domain
+Normal rank
@@ Property / cites work @@
+A decision tree lifted domain for analyzing program families with numerical features
+Normal rank
@@ Property / cites work @@
+Finding suitable variability abstractions for family-based analysis
+Normal rank
@@ Property / cites work @@
+Finding suitable variability abstractions for lifted analysis
+Normal rank
@@ Property / cites work @@
+Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
+Normal rank
@@ Property / cites work @@
+Static analysis of arithmetical congruences
@@ Property / cites work: Static analysis of arithmetical congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Boxes: A Symbolic Abstract Domain of Boxes
@@ Property / cites work: Boxes: A Symbolic Abstract Domain of Boxes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068060
@@ Property / cites work: Q4068060 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Domain to Infer Ordinal-Valued Ranking Functions
+Normal rank