Automated Termination Analysis for Programs with Second-Order Recursion.

Markus Aderhold

Published in: TACAS (2010)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
deductive databases
web services
control flow
wireless networks
static analysis