Tractable Reasoning in a Fragment of Separation Logic (Q3090833): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-23217-6_16
+Normal rank
@@ Property / OpenAlex ID @@
+W135237429
@@ Property / OpenAlex ID: W135237429 / 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 @@
+Q4474211
@@ Property / cites work: Q4474211 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable Reasoning in a Fragment of Separation Logic
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Containment and equivalence for a fragment of XPath
+Normal rank