Exploiting purity for atomicity.

Cormac Flanagan Stephen N. Freund Shaz Qadeer

Published in: ISSTA (2004)

Keyphrases

electronic commerce
data sets
information systems
multi agent
nested transactions
digital libraries
machine learning
knowledge base
case study
transaction management
acid properties