Philippa Gardner

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

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