Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter W. O'Hearn
The Essence of Reynolds
ACM SIGPLAN Notices
Computer Science
RacerD: Compositional Static Race Detection
Proceedings of the ACM on Programming Languages
BI as an Assertion Language for Mutable Data Structures
