Relatively complete counterexamples for higher-order programs.

Phuc C. Nguyen David Van Horn

Published in: PLDI (2015)

Keyphrases

higher order
natural images
pairwise
provably correct
high order
real time
markov random field
data sets
real world
information retrieval
low order
lower order