Proving Pointer Programs in Higher-Order Logic.

Farhad Mehta Tobias Nipkow

Published in: CADE (2003)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
data structure
belief revision
answer sets
theorem proving