A program logic for higher-order procedural variables and non-local jumps
Tristan CrolardEmmanuel PolonowskiPublished in: CoRR (2011)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- auxiliary variables
- natural images
- lower order
- program understanding
- pairwise
- markov chain
- markov random field
- computer programs
- classical logic
- logic programming
- functional programs
- proof theory
- low order
- programs written
- propositional variables
- dynamic logic
- probability theory
- truth values
- automated reasoning
- image segmentation
- causal relationships
- high order
- random variables
- objective function
- bayesian networks
- similarity measure