Robust Non-termination Analysis of Numerical Software.

Bai Xue Naijun Zhan Yangjia Li Qiuye Wang

Published in: SETTA (2018)

Keyphrases

termination analysis
active databases
active rules
abstract interpretation
software development
software systems
integrity constraints
data mining
data analysis
open source
source code
distributed environment
object oriented databases