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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3139210646
@@ Property / OpenAlex ID: W3139210646 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05863
@@ Property / arXiv ID: 2012.05863 / rank @@
+Normal rank
@@ 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