Bottom-Up Shape Analysis (Q3392926): 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.1007/978-3-642-03237-0_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2147492162
@@ Property / OpenAlex ID: W2147492162 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic Abstraction for Programs with Dynamic Memory Heaps
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+Q4385541
@@ Property / cites work: Q4385541 / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-Up Shape Analysis
@@ Property / cites work: Bottom-Up Shape Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Heap Assumptions on Demand
@@ Property / cites work: Heap Assumptions on Demand / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Model Checking using Widening Techniques
@@ Property / cites work: Regular Model Checking using Widening Techniques / rank @@
+Normal rank