Items where Author / Artist / Editor is "Peter, O'Hearn"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 1.
Gkorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Peter, O'Hearn and Ilya, Sergey
(2019)
A true positives theorem for a static race detector.
Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL.
In: POPL 2019, 12-19 Jan 2019, Cascais, Portugal.
.
ISSN 2475-1421
[Conference or Workshop Item]
(doi:10.1145/3290370)