Hoare Logic for Higher Order Store Using Simple Semantics.
Nathaniel CharltonPublished in: WoLLIC (2011)
Keyphrases
- higher order
- higher order logic
- proof theory
- logic programming
- lambda calculus
- natural images
- sound and complete axiomatization
- proof theoretic
- epistemic logic
- automated reasoning
- multi agent systems
- model theoretic
- conditional logic
- highly expressive
- formal language
- formal semantics
- markov random field
- data model
- pairwise