Login / Signup
Proof Pearl: The Termination Analysis of Terminator.
Joe Hurd
Published in:
TPHOLs (2007)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
integrity constraints
databases
theorem prover