A true positives theorem for a static race detector.

Nikos Gorogiannis Peter W. O'Hearn Ilya Sergey

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

detection method
computer vision
detection algorithm
false positives
von neumann
information systems
three dimensional
multiscale