Sign in
Loopster: static loop termination analysis.
Xiaofei Xie
Bihuan Chen
Liang Zou
Shang-Wei Lin
Yang Liu
Xiaohong Li
Published in:
ESEC/SIGSOFT FSE (2017)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
dynamic analysis
database
spatial data
distributed databases