A Theory of Pointers for the UTP (Q5505599): Difference between revisions

@@ Property / cites work @@
+Q3761675
@@ Property / cites work: Q3761675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674963
@@ Property / cites work: Q5674963 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointers and Records in the Unifying Theories of Programming
+Normal rank
@@ Property / cites work @@
+Compositional Reasoning for Pointer Structures
@@ Property / cites work: Compositional Reasoning for Pointer Structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Pointers for the UTP
@@ Property / cites work: A Theory of Pointers for the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436978
@@ Property / cites work: Q4436978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate transformer semantics of a higher-order imperative language with record subtyping
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+ERC -- an object-oriented refinement calculus for Eiffel
+Normal rank
@@ Property / cites work @@
+Object-Orientation in the UTP
@@ Property / cites work: Object-Orientation in the UTP / rank @@
+Normal rank