Bounded Synthesis of Reactive Programs.

Carsten Gerstacker Felix Klein Bernd Finkbeiner

Published in: ATVA (2018)

Keyphrases

similarity measure
functional programs
program synthesis
texture synthesis
database
social networks
image processing
operating system
intermediate level
automatic programming
provably correct
prolog programs
functional language