Program Termination Analysis in Polynomial Time.

Published in: GPCE (2002)

Keyphrases

termination analysis
active rules
abstract interpretation
active databases
databases
static analysis
control flow