Termination Analysis of Polynomial Programs with Equality Conditions.

Yangjia Li Hui Lu Naijun Zhan Mingshuai Chen Guohua Wu

Published in: CoRR (2015)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
databases
static analysis