Treffer: TerGEC: A graph enhanced contrastive approach for program termination analysis

Title:
TerGEC: A graph enhanced contrastive approach for program termination analysis
Authors:
Liu, Shuo a, Keung, Jacky Wai a, Yang, Zhen b, ⁎, Liao, Yihan a, Li, Yishu a
Source:
In Science of Computer Programming October 2024 237
Database:
ScienceDirect