Crowfoot: A Verifier for Higher-Order Store Programs.

Nathaniel Charlton Ben Horsfall Bernhard Reus

Published in: VMCAI (2012)

Keyphrases

higher order
natural images
high order
low order
markov random field
markov models
pairwise
prolog programs
database
fixpoint
conditional random fields
search algorithm
social networks
image sequences
image processing
computer vision
automatic programming
lower order
control program
information retrieval