Login / Signup
TerGEC: A graph enhanced contrastive approach for program termination analysis.
Shuo Liu
Jacky Wai Keung
Zhen Yang
Yihan Liao
Yishu Li
Published in:
Sci. Comput. Program. (2024)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
databases
data structure
relational databases
software development
wireless networks
integrity constraints
distributed databases
static analysis
control flow