Login / Signup

Automated Termination Analysis for Incompletely Defined Programs.

Christoph WaltherStephan Schweitzer
Published in: LPAR (2004)
Keyphrases
  • termination analysis
  • abstract interpretation
  • active databases
  • active rules
  • data analysis