Sign in

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.

Caitlin SadowskiStephen N. FreundCormac Flanagan
Published in: ESOP (2009)
Keyphrases
  • relational databases
  • multi user
  • automatic programming
  • real world
  • answer sets
  • dynamically changing