Termination Analysis of Linear Loops.

Ming Xu Liangyu Chen Zhenbing Zeng Zhi-Bin Li

Published in: Int. J. Found. Comput. Sci. (2010)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
database
data mining
fine grained
databases
temporal information