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