An Efficient Decision Procedure for Imperative Tree Data Structures (Q5200043): Difference between revisions

@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1520431822
@@ Property / OpenAlex ID: W1520431822 / rank @@
+Normal rank
@@ Property / cites work @@
+Shape Analysis of Single-Parent Heaps
@@ Property / cites work: Shape Analysis of Single-Parent Heaps / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic-Based Framework for Reasoning about Composite Data Structures
+Normal rank
@@ Property / cites work @@
+Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
+Normal rank
@@ Property / cites work @@
+Q2751375
@@ Property / cites work: Q2751375 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of the Bernays-Schönfinkel Class with Datalog
+Normal rank
@@ Property / cites work @@
+Automata-based verification of programs with tree updates
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Back to the future
@@ Property / cites work: Back to the future / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided focus
@@ Property / cites work: Counterexample-guided focus / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+An Efficient Decision Procedure for Imperative Tree Data Structures
+Normal rank
@@ Property / cites work @@
+A logic of reachable patterns in linked data-structures
+Normal rank