A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps
Tristan CrolardPublished in: CoRR (2011)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- logic programming
- high order
- low order
- auxiliary variables
- lower order
- computer programs
- natural images
- static analysis
- modal logic
- propositional variables
- markov random field
- declarative semantics
- independent variables
- programming environment
- predicate logic
- fault localization
- markov chain
- program understanding
- object oriented
- random variables
- logic programs
- procedural knowledge
- automated reasoning
- input variables