A proof theory for machine code.

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
decision making
knowledge base