Atomizer: a dynamic atomicity checker for multithreaded programs.

Cormac Flanagan Stephen N. Freund

Published in: POPL (2004)

Keyphrases

artificial intelligence
multi user
databases
multi agent
dynamic environments
computer programs