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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2040201492
@@ Property / OpenAlex ID: W2040201492 / rank @@
+Normal rank
@@ 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