Verifying higher-order programs with the dijkstra monad.
Nikhil SwamyJoel WeinbergerCole SchlesingerJuan ChenBenjamin LivshitsPublished in: PLDI (2013)
Keyphrases
- higher order
- high order
- natural images
- pairwise
- low order
- markov random field
- computer programs
- lower order
- information technology
- mobile robot
- control structures
- data sets
- prolog programs
- markov models
- computer vision
- programming environment
- automatic programming
- model checking
- anti unification
- fixpoint
- conditional random fields
- decision trees
- web services
- search engine