The anchor verifier for blocking and non-blocking concurrent software.

Cormac Flanagan Stephen N. Freund

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

Keyphrases

record linkage
similarity measure
learning algorithm
software development
software systems
software platform
low priority
website
database systems
search algorithm
test cases
software packages