Showing 1 - 20 results of 24 for search 'O'Hearn, P', query time: 0.03s
Refine Results
-
1
Separation Logic Semantics for Communicating Processes by Hoare, T, O'Hearn, P
Published 2008Journal article -
2
-
3
Separation and Information Hiding by O'Hearn, P, Yang, H, Reynolds, J
Published 2004Conference item -
4
Computability and Complexity Results for a Spatial Assertion Language for Data Structures by Calcagno, C, Yang, H, O'Hearn, P
Published 2001Conference item -
5
Local Action and Abstract Separation Logic by Calcagno, C, O'Hearn, P, Yang, H
Published 2007Conference item -
6
Separation and Information Hiding by O’Hearn, P, Yang, H, Reynolds, J
Published 2009Journal article -
7
Possible Worlds and Resources: The Semantics of BI by Pym, D, O'Hearn, P, Yang, H
Published 2004Journal article -
8
Graphical models of separation logic by Wehrman, I, Hoare, C, O'Hearn, P
Published 2009Journal article -
9
Local Reasoning about Programs that Alter Data Structures by O'Hearn, P, Reynolds, J, Yang, H
Published 2001Conference item -
10
A local shape analysis based on separation logic by Distefano, D, O'Hearn, P, Yang, H
Published 2015Conference item -
11
Footprint Analysis: A Shape Analysis that Discovers Preconditions by Calcagno, C, Distefano, D, O'Hearn, P, Yang, H
Published 2007Conference item -
12
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic by Calcagno, C, Distefano, D, Yang, H, O'Hearn, P
Published 2006Conference item -
13
Abstraction for Concurrent Objects by Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Published 2010Journal article -
14
SAW: the spatial assertion workbench by Calcagno, C, Berdine, J, Yang, H, O'Hearn, P
Published 2015Conference item -
15
Compositional Shape Analysis by means of Bi−abduction by Calcagno, C, Distefano, D, O’Hearn, P, Yang, H
Published 2009Conference item -
16
Abstraction for Concurrent Objects by Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H
Published 2009Conference item -
17
Abstraction for concurrent objects by Filipovic, I, O'Hearn, P, Rinetzky, N, Yang, H
Published 2010Journal article -
18
Compositional Shape Analysis by Means of Bi-Abduction by Calcagno, C, Distefano, D, O'Hearn, P, Yang, H
Published 2011Journal article -
19
Compositional Shape Analysis by means of Bi−abduction by Calcagno, C, Distefano, D, O’Hearn, P, Yang, H
Published 2011Journal article -
20
Blaiming the Client: On Data Refinement in the Presence of Pointers by Filipovic, I, O’Hearn, P, Torp−Smith, N, Yang, H
Published 2010Journal article