Login / Signup
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
Caitlin Sadowski
Stephen N. Freund
Cormac Flanagan
Published in:
ESOP (2009)
Keyphrases
</>
relational databases
multi user
automatic programming
real world
answer sets
dynamically changing