Lazy but Effective Functional Synthesis.

Grigory Fedyukovich Arie Gurfinkel Aarti Gupta

Published in: VMCAI (2019)

Keyphrases

real world
computer vision
high quality
database
learning algorithm
metadata
image processing
website
wide range
data structure