Login / Signup
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