Accelerating Syntax-Guided Invariant Synthesis.

Grigory Fedyukovich Rastislav Bodík

Published in: TACAS (1) (2018)

Keyphrases

program synthesis
natural language
affine invariant
texture synthesis
database
invariant properties
similarity measure
image registration
context free grammars
geometric transformations
precisely defined
noise resistant