Slugs: Extensible GR(1) Synthesis.

Rüdiger Ehlers Vasumathi Raman

Published in: CAV (2) (2016)

Keyphrases

data model
program synthesis
databases
application specific
markup language
numerically stable
machine learning
search engine
clustering algorithm
bayesian networks
wide range
multiresolution
object oriented
metaheuristic
data types
texture synthesis