On the Almighty Wand (Q3540188): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87531-4_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1505383182
@@ Property / OpenAlex ID: W1505383182 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Reasoning About Sequences of Memory States
@@ Property / cites work: Reasoning About Sequences of Memory States / rank @@
+Normal rank
@@ Property / cites work @@
+On the Almighty Wand
@@ Property / cites work: On the Almighty Wand / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Separation Logic and Programs with Lists
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4474211
@@ Property / cites work: Q4474211 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Expressiveness and complexity of graph logic
@@ Property / cites work: Expressiveness and complexity of graph logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux and Resource Graphs for Separation Logic
@@ Property / cites work: Tableaux and Resource Graphs for Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4449212
@@ Property / cites work: Q4449212 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of spatial connectives in static spatial logics
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Graph Logic
@@ Property / cites work: On the Expressive Power of Graph Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic Strengthening for Shape Analysis
@@ Property / cites work: Arithmetic Strengthening for Shape Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3540188