Termination analysis with recursive calling graphs.

Teng Long Wenhui Zhang

Published in: J. Netw. Comput. Appl. (2016)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
database