Login / Signup

An abstract interpretation framework for termination.

Patrick CousotRadhia Cousot
Published in: POPL (2012)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • active rules
  • software architecture
  • active databases
  • databases