Automatic Synthesis of Deterministic Concurrency.

Veselin Raychev Martin T. Vechev Eran Yahav

Published in: SAS (2013)

Keyphrases

concurrency control
semi automatic
database systems
real world
decision making
case study
labor intensive
program synthesis
databases
neural network
multiscale
lower bound
data driven
software systems
texture synthesis