Soufflé: On Synthesis of Program Analyzers.

Herbert Jordan Bernhard Scholz Pavle Subotic

Published in: CAV (2) (2016)

Keyphrases

functional programs
program synthesis
logic programs
real world
clustering algorithm
computer programs
data mining
information systems
image sequences
multiscale
wide range
software engineering
texture synthesis
static analysis
control program