Atomizer: A dynamic atomicity checker for multithreaded programs.

Cormac Flanagan Stephen N. Freund

Published in: Sci. Comput. Program. (2008)

Keyphrases

electronic commerce
dynamically changing
database
databases
neural network
website
expert systems
petri net
deductive databases
nested transactions