C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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