The Abstract Domain of Parallelotopes (Q5170166): Difference between revisions

@@ Property / cites work @@
+Deriving Numerical Abstract Domains via Principal Component Analysis
+Normal rank
@@ Property / cites work @@
+Discovering invariants via simple component analysis
+Normal rank
@@ Property / cites work @@
+Generalizing the Template Polyhedral Domain
@@ Property / cites work: Generalizing the Template Polyhedral Domain / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Logahedra: A New Weakly Relational Domain
@@ Property / cites work: Logahedra: A New Weakly Relational Domain / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank