The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter W. O'Hearn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
    Symbolic Execution with Separation Logic. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:52-68 [Conf]
  2. Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
    Computability and Complexity Results for a Spatial Assertion Language for Data Structures. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:289-300 [Conf]
  3. Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn
    Automatic Termination Proofs for Programs with Shape-Shifting Heaps. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:386-400 [Conf]
  4. Peter W. O'Hearn
    Resources, Concurrency and Local Reasoning. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:49-67 [Conf]
  5. Peter W. O'Hearn, John C. Reynolds, Hongseok Yang
    Local Reasoning about Programs that Alter Data Structures. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:1-19 [Conf]
  6. Peter W. O'Hearn
    Linear Logic and Interference Control. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:74-93 [Conf]
  7. Peter W. O'Hearn
    Resources, Concurrency, and Local Reasoning (Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:1-2 [Conf]
  8. Peter W. O'Hearn, Jon G. Riecke
    Fully Abstract Translations and Parametric Polymorphism. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:454-468 [Conf]
  9. Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
    Smallfoot: Modular Automatic Assertion Checking with Separation Logic. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:115-137 [Conf]
  10. Cristiano Calcagno, Peter W. O'Hearn
    On Garbage and Program Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:137-151 [Conf]
  11. Hongseok Yang, Peter W. O'Hearn
    A Semantic Basis for Local Reasoning. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:402-416 [Conf]
  12. Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
    A Decidable Fragment of Separation Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:97-109 [Conf]
  13. Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
    Computability and Complexity Results for a Spatial Assertion Language for Data Structures. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:108-119 [Conf]
  14. Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hearn
    Refinement and Separation Contexts. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:421-433 [Conf]
  15. Peter W. O'Hearn, Zbigniew Stachniak
    Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1989, pp:364-372 [Conf]
  16. Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson
    Permission accounting in separation logic. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:259-270 [Conf]
  17. Samin S. Ishtiaq, Peter W. O'Hearn
    BI as an Assertion Language for Mutable Data Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:14-26 [Conf]
  18. Peter W. O'Hearn, Robert D. Tennent
    Relational Parametricity and Local Variables. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:171-184 [Conf]
  19. Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
    Separation and information hiding. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:268-280 [Conf]
  20. Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn
    Variance analyses from invariance analyses. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:211-224 [Conf]
  21. Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn
    Modular verification of a non-blocking stack. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:297-302 [Conf]
  22. Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn
    Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:190-201 [Conf]
  23. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:182-203 [Conf]
  24. Peter W. O'Hearn
    Separation Logic and Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:181- [Conf]
  25. Peter W. O'Hearn, Zbigniew Stachniak
    A Resolution Framework for Finitely-Valued First-Order Logics. [Citation Graph (0, 0)][DBLP]
    SCAI, 1989, pp:69-81 [Conf]
  26. Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    A Local Shape Analysis Based on Separation Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:287-302 [Conf]
  27. Yoshiki Kinoshita, Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:191-212 [Conf]
  28. Peter W. O'Hearn
    Resource Interpretations, Bunched Implications and the alpha lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:258-279 [Conf]
  29. Peter W. O'Hearn, David J. Pym
    The logic of bunched implications. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1999, v:5, n:2, pp:215-244 [Journal]
  30. Cliff B. Jones, Peter W. O'Hearn, Jim Woodcock
    Verified Software: A Grand Challenge. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:93-95 [Journal]
  31. Josh Berdine, Peter W. O'Hearn
    Strong Update, Disposal, and Encapsulation in Bunched Typing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:81-98 [Journal]
  32. Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  33. Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
    Syntactic control of interference revisited. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  34. Peter W. O'Hearn, Uday S. Reddy
    Objects, interference and the Yoneda embedding. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  35. Peter W. O'Hearn, Jon G. Riecke
    Kripke Logical Relations and PCF [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:1, pp:107-116 [Journal]
  36. Peter W. O'Hearn, Robert D. Tennent
    Semantical Analysis of Specification Logic, 2 [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:107, n:1, pp:25-57 [Journal]
  37. Peter W. O'Hearn, John C. Reynolds
    From Algol to polymorphic linear lambda-calculus. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:1, pp:167-223 [Journal]
  38. Peter W. O'Hearn, Robert D. Tennent
    Parametricity and Local Variables. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1995, v:42, n:3, pp:658-709 [Journal]
  39. Peter W. O'Hearn
    On bunched typing. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:4, pp:747-796 [Journal]
  40. Peter W. O'Hearn
    Note on Algol and Conservatively Extending Functional Programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:1, pp:171-180 [Journal]
  41. Peter W. O'Hearn, Zbigniew Stachniak
    Resolution Framework for Finitely-Valued First-Order Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1992, v:13, n:3, pp:235-254 [Journal]
  42. Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
    Linear Continuation-Passing. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:181-208 [Journal]
  43. Peter W. O'Hearn
    A Model for Syntactic Control of Interference. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:4, pp:435-465 [Journal]
  44. Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat
    Program logic and equivalence in the presence of garbage collection. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:3, n:298, pp:557-581 [Journal]
  45. Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:49-76 [Journal]
  46. Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    Syntactic Control of Interference Revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:211-252 [Journal]
  47. Peter W. O'Hearn, Uday S. Reddy
    Objects, Interference, and the Yoneda Embedding. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:253-282 [Journal]
  48. David J. Pym, Peter W. O'Hearn, Hongseok Yang
    Possible worlds and resources: the semantics of BI. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:257-305 [Journal]
  49. Peter W. O'Hearn
    Resources, concurrency, and local reasoning. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:271-307 [Journal]
  50. Olivier Danvy, Peter W. O'Hearn, Philip Wadler
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:1-2 [Journal]
  51. Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang
    Shape Analysis for Composite Data Structures. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:178-192 [Conf]
  52. Peter W. O'Hearn
    Separation logic and concurrent resource management. [Citation Graph (0, 0)][DBLP]
    ISMM, 2007, pp:1- [Conf]
  53. Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang
    Local Action and Abstract Separation Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:366-378 [Conf]
  54. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
    Footprint Analysis: A Shape Analysis That Discovers Preconditions. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:402-418 [Conf]

  55. Scalable Shape Analysis for Systems Code. [Citation Graph (, )][DBLP]


  56. Tutorial on Separation Logic (Invited Tutorial). [Citation Graph (, )][DBLP]


  57. Abductive, Inductive and Deductive Reasoning about Resources. [Citation Graph (, )][DBLP]


  58. Abstraction for Concurrent Objects. [Citation Graph (, )][DBLP]


  59. Separation Logic Tutorial. [Citation Graph (, )][DBLP]


  60. Space Invading Systems Code. [Citation Graph (, )][DBLP]


  61. Verifying linearizability with hindsight. [Citation Graph (, )][DBLP]


  62. Compositional shape analysis by means of bi-abduction. [Citation Graph (, )][DBLP]


  63. Scalable Specification and Reasoning: Challenges for Program Logic. [Citation Graph (, )][DBLP]


  64. Separation Logic Semantics for Communicating Processes. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002