Proving Pointer Programs in Hoare Logic.

Published in: MPC (2000)

Keyphrases

dynamic logic
logic programming
data structure
modal logic
computer programs
multi valued
recursive programs
functional programs
abductive reasoning
predicate logic
classical logic
stable models
automatic programming
programming environment
deontic logic
automated reasoning
proof theory
answer sets
database systems