Proving pointer programs in higher-order logic.

Farhad Mehta Tobias Nipkow

Published in: Inf. Comput. (2005)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
data structure
logical framework
data representation
knowledge base
similarity measure
video sequences
incomplete information