Region Analysis for Race Detection (Q3392925): Difference between revisions

@@ Property / describes a project that uses @@
+LOCKSMITH
@@ Property / describes a project that uses: LOCKSMITH / 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/978-3-642-03237-0_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1878516092
@@ Property / OpenAlex ID: W1878516092 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+A Reachability Predicate for Analyzing Low-Level Software
+Normal rank
@@ Property / cites work @@
+Q4250669
@@ Property / cites work: Q4250669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+A faster solver for general systems of equations
@@ Property / cites work: A faster solver for general systems of equations / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for numeric analysis of array operations
+Normal rank
@@ Property / cites work @@
+A combination framework for tracking partition sizes
+Normal rank
@@ Property / cites work @@
+An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
+Normal rank
@@ Property / cites work @@
+Region-based shape analysis with tracked locations
+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 @@
+Heap Decomposition for Concurrent Shape Analysis
@@ Property / cites work: Heap Decomposition for Concurrent Shape Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Upper Adjoints for Fast Inter-procedural Variable Equalities
+Normal rank
@@ Property / cites work @@
+Conditional must not aliasing for static race detection
+Normal rank
@@ Property / cites work @@
+Q4738390
@@ Property / cites work: Q4738390 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential Label Flow Inference Via CFL Reachability
+Normal rank
@@ Property / cites work @@
+Q4828479
@@ Property / cites work: Q4828479 / rank @@
+Normal rank
@@ Property / cites work @@
+A constraint-based region inference algorithm
@@ Property / cites work: A constraint-based region inference algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3653849
@@ Property / cites work: Q3653849 / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Shape Analysis for Systems Code
@@ Property / cites work: Scalable Shape Analysis for Systems Code / rank @@
+Normal rank