Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Peter W. O''Hearn" ( http://dblp.L3S.de/Authors/Peter_W._O''Hearn )

URL (Homepage):  http://www.dcs.qmw.ac.uk/~ohearn/  Author page on DBLP  Author page in RDF  Community of Peter W. O'Hearn in ASPL-2

Publication years (Num. hits)
1989-1997 (15) 1998-2002 (15) 2003-2006 (18) 2007-2009 (17) 2010-2012 (13)
Publication types (Num. hits)
article(30) inproceedings(47) proceedings(1)
Venues (Conferences, Journals, ...)
POPL(8) Theor. Comput. Sci.(8) Electr. Notes Theor. Comput. S...(5) CAV(4) SAS(4) APLAS(3) ESOP(3) FSTTCS(3) J. ACM(3) CONCUR(2) CSL(2) FoSSaCS(2) Inf. Comput.(2) J. Funct. Program.(2) VSTTE(2) ACM Trans. Program. Lang. Syst...(1) More (+10 of total 40)
Authors
Peter W. O'Hearn(78) Hongseok Yang(19) Cristiano Calcagno(18) Dino Distefano(10) Josh Berdine(10) Robert D. Tennent(8) Makoto Takeyama(5) Byron Cook(4) John C. Reynolds(4) John Power(4) Ivana Filipovic(3) Noam Rinetzky(3) Richard Bornat(3) Uday S. Reddy(3) Zbigniew Stachniak(3) C. A. R. Hoare(2) More (+10 of total 48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 24 keywords
Results
Found 78 publication records. Showing 78 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn Verification Condition Generation and Variable Conditions in Smallfoot Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Andrew P. Black, Peter W. O'Hearn Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Compositional Shape Analysis by Means of Bi-Abduction. Search on Bibsonomy J. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth On Locality and the Exchange Law for Concurrent Processes. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Reasoning about Programs Using a Scientific Method. Search on Bibsonomy ICFEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Algebra, Logic, Locality, Concurrency. Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Algebra, Logic, Locality, Concurrency. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn The Complexity of Abduction for Separated Heap Abstractions. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang Blaming the client: on data refinement in the presence of pointers. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for concurrent objects. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani (eds.) Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings Search on Bibsonomy VSTTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh Verifying linearizability with hindsight. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hindsight, linearizability, wait-freedom, optimistic concurrency
1Peter W. O'Hearn Abductive, Inductive and Deductive Reasoning about Resources. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn Graphical models of separation logic. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Hongseok Yang, John C. Reynolds Separation and information hiding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF resource protection, modularity, Separation logic
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Compositional shape analysis by means of bi-abduction. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program analysis, abduction, proof theory
1Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for Concurrent Objects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tony Hoare, Peter W. O'Hearn Separation Logic Semantics for Communicating Processes. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Separation Logic Tutorial. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn Scalable Shape Analysis for Systems Code. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Tutorial on Separation Logic (Invited Tutorial). Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Space Invading Systems Code. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Peter W. O'Hearn, Philip Wadler Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Resources, concurrency, and local reasoning. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn Modular verification of a non-blocking stack. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF concurrency, separation logic, non-blocking
1Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn Variance analyses from invariance analyses. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal verification, program analysis, termination, liveness, software model checking
1Peter W. O'Hearn Separation logic and concurrent resource management. Search on Bibsonomy ISMM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF shape analysis, separation logic
1Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang Shape Analysis for Composite Data Structures. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang Local Action and Abstract Separation Logic. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Footprint Analysis: A Shape Analysis That Discovers Preconditions. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Peter W. O'Hearn Strong Update, Disposal, and Encapsulation in Bunched Typing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock Verified Software: A Grand Challenge. Search on Bibsonomy IEEE Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification Challenge, Formal methods, Software technologies
1Dino Distefano, Peter W. O'Hearn, Hongseok Yang A Local Shape Analysis Based on Separation Logic. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn Automatic Termination Proofs for Programs with Shape-Shifting Heaps. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Separation Logic and Program Analysis. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson Permission accounting in separation logic. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concurrency, logic, separation, permissions
1Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn Smallfoot: Modular Automatic Assertion Checking with Separation Logic. Search on Bibsonomy FMCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Scalable Specification and Reasoning: Challenges for Program Logic. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn Symbolic Execution with Separation Logic. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David J. Pym, Peter W. O'Hearn, Hongseok Yang Possible worlds and resources: the semantics of BI. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Resources, Concurrency and Local Reasoning. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Hongseok Yang, John C. Reynolds Separation and information hiding. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF resource protection, modularity, separation logic
1Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn A Decidable Fragment of Separation Logic. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn Refinement and Separation Contexts. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Resources, Concurrency, and Local Reasoning (Abstract). Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat Program logic and equivalence in the presence of garbage collection. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn On bunched typing. Search on Bibsonomy J. Funct. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke Linear Continuation-Passing. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hongseok Yang, Peter W. O'Hearn A Semantic Basis for Local Reasoning. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samin S. Ishtiaq, Peter W. O'Hearn BI as an Assertion Language for Mutable Data Structures. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  BibTeX  RDF
1Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn Computability and Complexity Results for a Spatial Assertion Language for Data Structures. Search on Bibsonomy APLAS The full citation details ... 2001 DBLP  BibTeX  RDF
1Peter W. O'Hearn, John C. Reynolds, Hongseok Yang Local Reasoning about Programs that Alter Data Structures. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Peter W. O'Hearn On Garbage and Program Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn Computability and Complexity Results for a Spatial Assertion Language for Data Structures. Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, John C. Reynolds From Algol to polymorphic linear lambda-calculus. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF local state, linear logic, parametric polymorphism, logical relations
1Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent Bireflectivity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Uday S. Reddy Objects, Interference, and the Yoneda Embedding. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent Syntactic Control of Interference Revisited. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, David J. Pym The logic of bunched implications. Search on Bibsonomy Bulletin of Symbolic Logic The full citation details ... 1999 DBLP  BibTeX  RDF
1Peter W. O'Hearn Resource Interpretations, Bunched Implications and the alpha lambda-Calculus. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Polymorphism, objects and abstract types. Search on Bibsonomy SIGACT News The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. Search on Bibsonomy TACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Note on Algol and Conservatively Extending Functional Programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Jon G. Riecke Kripke Logical Relations and PCF Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Uday S. Reddy Objects, interference and the Yoneda embedding. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama Syntactic control of interference revisited. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama Bireflectivity. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Robert D. Tennent Parametricity and Local Variables. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF algol-like languages, local state, parametric polymorphism, logical relations
1Peter W. O'Hearn, Jon G. Riecke Fully Abstract Translations and Parametric Polymorphism. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn A Model for Syntactic Control of Interference. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Robert D. Tennent Semantical Analysis of Specification Logic, 2 Search on Bibsonomy Inf. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Robert D. Tennent Relational Parametricity and Local Variables. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF ALGOL
1Peter W. O'Hearn, Zbigniew Stachniak Resolution Framework for Finitely-Valued First-Order Logics. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Linear Logic and Interference Control. Search on Bibsonomy Category Theory and Computer Science The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Zbigniew Stachniak A Resolution Framework for Finitely-Valued First-Order Logics. Search on Bibsonomy SCAI The full citation details ... 1989 DBLP  BibTeX  RDF
1Peter W. O'Hearn, Zbigniew Stachniak Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. Search on Bibsonomy ISSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #78 of 78 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.