Abstract Interpretation of Proofs: Classical Propositional Calculus.

Published in: CSL (2004)

Keyphrases

propositional calculus
abstract interpretation
termination analysis
static analysis
active rules
dynamic analysis
open source