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.
Philippa Gardner: separation logic beyond pointers - translation to first-order logic, local reasoning about structured data update, and Views as a common footing for concurrent logics.
4 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
Concurrent Abstract Predicates
Thomas Dinsdale-Young and others (2010) · Springer Berlin Heidelberg
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