Items where Author / Artist / Editor is "O'Hearn, Peter"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

Blackshear, Sam, Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609, O'Hearn, Peter and Sergey, Ilya (2018) RacerD: compositional static race detection. Proceedings of the ACM on Programming Languages, 2 (OOPSLA) , 144. 144:1-144:28. ISSN 2475-1421 [Article] (doi:10.1145/3276514)

Bornat, Richard ORCID logoORCID: https://orcid.org/0000-0002-7261-0233, Parkinson, Matthew and O'Hearn, Peter (2007) Modular verification of a non-blocking stack. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07), Nice, France. Proceedings. . pp. 297-302. ISSN 0362-1340 [Article] (doi:10.1145/1190216.1190261)

Bornat, Richard ORCID logoORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano, Parkinson, Matthew and O'Hearn, Peter (2005) Permission accounting in separation logic. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), Long Beach, California, USA. Proceedings . pp. 259-270. ISSN 0362-1340 [Article] (doi:10.1145/1047659.1040327)

This list was generated on Sun May 28 06:48:16 2023 BST.