Abstraction-guided synthesis of synchronization.

Martin T. Vechev Eran Yahav Greta Yorsh

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

three dimensional
high level
program synthesis
concurrent processes
genetic algorithm
texture synthesis
data abstraction
data sets
case study
decision theoretic planning
programming language
phase locked
functional programs
multi stream
petri net
database
expert systems
databases
real time