Peter W. O'Hearn

From MaRDI portal
Person:736796

Available identifiers

zbMath Open ohearn.peter-wMaRDI QIDQ736796

List of research outcomes

PublicationDate of PublicationType
On algebra of program correctness and incorrectness2023-03-30Paper
Local reasoning about the presence of bugs: incorrectness separation logic2021-02-09Paper
Continuous Reasoning2021-01-20Paper
Permission accounting in separation logic2017-07-14Paper
The essence of Reynolds2016-08-05Paper
Separation and information hiding2015-11-11Paper
Compositional shape analysis by means of bi-abduction2015-07-03Paper
On the relation between concurrent separation logic and concurrent Kleene algebra2015-06-10Paper
BI as an assertion language for mutable data structures2015-03-17Paper
Verifying linearizability with hindsight2015-03-02Paper
Variance analyses from invariance analyses2014-09-12Paper
Modular verification of a non-blocking stack2014-09-12Paper
Separation Logic Semantics for Communicating Processes2014-05-13Paper
Developments in Concurrent Kleene Algebra2014-04-16Paper
The essence of Reynolds2014-04-10Paper
Compositional Shape Analysis by Means of Bi-Abduction2014-02-17Paper
https://portal.mardi4nfdi.de/entity/Q28513182013-10-10Paper
On Locality and the Exchange Law for Concurrent Processes2011-09-02Paper
Abstraction for concurrent objects2011-01-07Paper
Blaming the client: on data refinement in the presence of pointers2010-11-22Paper
Graphical models of separation logic2010-08-20Paper
Abstraction for Concurrent Objects2009-03-31Paper
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic2009-03-12Paper
Separation Logic Tutorial2009-01-22Paper
Scalable Shape Analysis for Systems Code2008-07-15Paper
Shape Analysis for Composite Data Structures2007-11-29Paper
Programming Languages and Systems2007-09-28Paper
Automatic Termination Proofs for Programs with Shape-Shifting Heaps2007-09-05Paper
Resources, concurrency, and local reasoning2007-05-11Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper
Programming Languages and Systems2006-10-20Paper
From Algol to polymorphic linear lambda-calculus2006-09-12Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47382402004-08-11Paper
Possible worlds and resources: The semantics of \(\mathbf{BI}\)2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44742112004-08-04Paper
On bunched typing2004-05-18Paper
Program logic and equivalence in the presence of garbage collection.2003-05-25Paper
Linear continuation-passing2003-05-14Paper
https://portal.mardi4nfdi.de/entity/Q47832972002-12-04Paper
https://portal.mardi4nfdi.de/entity/Q27694282002-02-05Paper
Objects, interference, and the Yoneda embedding2000-08-23Paper
Syntactic control of interference revisited2000-08-23Paper
Bireflectivity2000-08-23Paper
The Logic of Bunched Implications1999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q42638751999-09-22Paper
Kripke logical relations and PCF1999-05-11Paper
https://portal.mardi4nfdi.de/entity/Q42227751998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42227761998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42227581998-12-10Paper
https://portal.mardi4nfdi.de/entity/Q43643881998-03-15Paper
Parametricity and local variables1998-01-28Paper
Note on Algol and conservatively extending functional programming1996-08-21Paper
https://portal.mardi4nfdi.de/entity/Q42825701994-08-28Paper
Semantical analysis of specification logic. II1994-04-17Paper
A model for syntactic control of interference1994-03-27Paper
https://portal.mardi4nfdi.de/entity/Q31385451993-11-11Paper
A resolution framework for finitely-valued first-order logics1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q34858861990-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Peter W. O'Hearn