This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Philippa Gardner
A grouping.
What the shape of separation logic is once you take it away from pointers: a translation result showing what is lost and kept when the separating connectives are given up, the generalisation of local reasoning beyond the heap to structured data, and Views, which puts several concurrent program logics on a common footing.
3 references
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Local reasoning about data update
Cristiano Calcagno and others (2007) · Electronic Notes in Theoretical Computer Science
From separation logic to first-order logic
Cristiano Calcagno and others (2005) · 8th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer