Login / Signup

Asserting and checking determinism for multithreaded programs.

Jacob BurnimKoushik Sen
Published in: Commun. ACM (2010)
Keyphrases
  • relational databases
  • computer programs
  • database systems
  • programming environment
  • automatic programming