Blaming the client: on data refinement in the presence of pointers (Q607403): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-009-0125-8
@@ Property / DOI: 10.1007/s00165-009-0125-8 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting Allocation
@@ Property / cites work: Abstracting Allocation / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Ownership confinement ensures representation independence for object-oriented programs
+Normal rank
@@ Property / cites work @@
+Q2721096
@@ Property / cites work: Q2721096 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for concurrent separation logic
@@ Property / cites work: A semantics for concurrent separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Calculational derivation of pointer algorithms from tree operations
+Normal rank
@@ Property / cites work @@
+Relational Parametricity and Separation Logic
@@ Property / cites work: Relational Parametricity and Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2779232
@@ Property / cites work: Q2779232 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement of predicate transformers
@@ Property / cites work: Data refinement of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859249
@@ Property / cites work: Q3859249 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification challenges for sequential object-oriented programs
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On assertion-based encapsulation for object invariants and simulations
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Separation logic and abstraction
@@ Property / cites work: Separation logic and abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Q4417896
@@ Property / cites work: Q4417896 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic commands--a tool for partial correctness formalisms
+Normal rank
@@ Property / cites work @@
+Relational separation logic
@@ Property / cites work: Relational separation logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-009-0125-8
@@ Property / DOI: 10.1007/S00165-009-0125-8 / rank @@
+Normal rank