Relatively Complete Counterexamples for Higher-Order Programs.

Phuc C. Nguyen David Van Horn

Published in: CoRR (2014)

Keyphrases

higher order
real time
genetic algorithm
markov random field
high order
markov models
provably correct
natural images
conditional random fields
neural network
machine learning
programming environment
fixpoint
low order
lower order
lambda calculus