The following pages link to Peter W. O'Hearn (Q736796):
Displaying 50 items.
- (Q607401) (redirect page) (← links)
- (Q1317432) (redirect page) (← links)
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- The essence of Reynolds (Q736798) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Graphical models of separation logic (Q989553) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Semantical analysis of specification logic. II (Q1317433) (← links)
- Objects, interference, and the Yoneda embedding (Q1575883) (← links)
- Syntactic control of interference revisited (Q1575885) (← links)
- Bireflectivity (Q1575886) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Linear continuation-passing (Q1870491) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← links)
- Kripke logical relations and PCF (Q1898483) (← links)
- Local reasoning about the presence of bugs: incorrectness separation logic (Q2226739) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- (Q2769428) (← links)
- (Q2851318) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- (Q3138545) (← links)
- Variance analyses from invariance analyses (Q3189800) (← links)
- Modular verification of a non-blocking stack (Q3189809) (← links)
- Separation and information hiding (Q3452266) (← links)
- (Q3485886) (← links)
- Scalable Shape Analysis for Systems Code (Q3512506) (← links)
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (Q3613386) (← links)
- Abstraction for Concurrent Objects (Q3617704) (← links)
- (Q4222758) (← links)
- (Q4222775) (← links)
- (Q4222776) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- (Q4263875) (← links)
- (Q4282570) (← links)
- A model for syntactic control of interference (Q4286528) (← links)
- (Q4364388) (← links)
- Parametricity and local variables (Q4369880) (← links)
- On bunched typing (Q4461769) (← links)
- (Q4474211) (← links)
- (Q4738240) (← links)
- (Q4783297) (← links)
- Note on Algol and conservatively extending functional programming (Q4880529) (← links)
- Continuous Reasoning (Q5145272) (← links)
- Verifying linearizability with hindsight (Q5176190) (← links)
- BI as an assertion language for mutable data structures (Q5178870) (← links)
- Compositional shape analysis by means of bi-abduction (Q5261525) (← links)
- Permission accounting in separation logic (Q5276151) (← links)
- Programming Languages and Systems (Q5308684) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311497) (← links)
