A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673): Difference between revisions

@@ Property / cites work @@
+Shape Analysis of Single-Parent Heaps
@@ Property / cites work: Shape Analysis of Single-Parent Heaps / rank @@
+Normal rank
@@ Property / cites work @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Programs with Lists Are Counter Automata
@@ Property / cites work: Programs with Lists Are Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic-Based Framework for Reasoning about Composite Data Structures
+Normal rank
@@ Property / cites work @@
+Rewriting Systems with Data
@@ Property / cites work: Rewriting Systems with Data / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A survey and annotated bibliography of multiobjective combinatorial optimization
+Normal rank
@@ Property / cites work @@
+What Else Is Decidable about Integer Arrays?
@@ Property / cites work: What Else Is Decidable about Integer Arrays? / rank @@
+Normal rank
@@ Property / cites work @@
+Back to the future
@@ Property / cites work: Back to the future / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of reachable patterns in linked data-structures
+Normal rank