Termination Analysis by Program Inversion.

Published in: SYNASC (2008)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
static analysis
information systems
deductive databases
control flow