Descending chains and narrowing on template abstract domains (Q1671249): Difference between revisions

@@ Property / describes a project that uses @@
+Aspic
@@ Property / describes a project that uses: Aspic / rank @@
+Normal rank
@@ 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.1007/s00236-016-0291-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2570469621
@@ Property / OpenAlex ID: W2570469621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Descending chains and narrowing on template abstract domains
+Normal rank
@@ Property / cites work @@
+Discovering invariants via simple component analysis
+Normal rank
@@ Property / cites work @@
+The Abstract Domain of Parallelotopes
@@ Property / cites work: The Abstract Domain of Parallelotopes / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
+Normal rank
@@ Property / cites work @@
+Combining Widening and Acceleration in Linear Relation Analysis
+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 @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank