Atomicity refinement for verified compilation.

Suresh Jagannathan Gustavo Petri Jan Vitek David Pichardie Vincent Laporte

Published in: PLDI (2014)

Keyphrases

electronic commerce
acid properties
data sets
refinement process
transaction management
multidatabase systems
genetic algorithm
step wise
transactional properties
nested transactions
code generation
query refinement
service composition
concurrency control
operating system
case study
information retrieval