The following pages link to Peter W. O'Hearn (Q736796):
Displaying 12 items.
- Compositional Shape Analysis by Means of Bi-Abduction (Q5395670) (← links)
- The essence of Reynolds (Q5408421) (← links)
- Developments in Concurrent Kleene Algebra (Q5410474) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- Shape Analysis for Composite Data Structures (Q5429321) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465874) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465888) (← links)
- From Algol to polymorphic linear lambda-calculus (Q5487826) (← links)
- Programming Languages and Systems (Q5493374) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps (Q5756731) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899065) (← links)