Zobrazeno 1 - 10
of 115
pro vyhledávání: '"O'Hearn, Peter"'
Publikováno v:
Proc. ACM Program. Lang. 3, POPL, Article 57 (January 2019)
RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before reaching production, and has supported the migration of Facebook's Android app rendering inf
Externí odkaz:
http://arxiv.org/abs/1811.03503
These notes are a companion to [1] which describe - the variable conditions that Smallfoot checks, - the analysis used to check them, - the algorithm used to compute a set of verification conditions corresponding to an annotated program, and - the tr
Externí odkaz:
http://arxiv.org/abs/1204.4804
Autor:
O’HEARN, PETER1,2 p.ohearn@ucl.ac.uk
Publikováno v:
Communications of the ACM. Feb2019, Vol. 62 Issue 2, p86-95. 10p. 1 Color Photograph, 1 Diagram, 5 Charts.
Autor:
O'Hearn, Peter W., Pym, David J.
Publikováno v:
The Bulletin of Symbolic Logic, 1999 Jun 01. 5(2), 215-244.
Externí odkaz:
https://www.jstor.org/stable/421090
Publikováno v:
In Theoretical Computer Science 2010 411(51):4379-4398
Publikováno v:
Communications of the ACM; Aug2019, Vol. 62 Issue 8, p62-70, 9p, 1 Color Photograph, 2 Diagrams, 3 Charts, 1 Graph
Autor:
Hoare, Tony, O'Hearn, Peter
Publikováno v:
In Electronic Notes in Theoretical Computer Science 30 April 2008 212:3-25