• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Atomizer: A dynamic atomicity checker for multithreaded programs.

Cormac FlanaganStephen 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