Cited By
View all- Campion MDalla Preda MGiacobazzi RUrban C(2024)Monotonicity and the Precision of Program AnalysisProceedings of the ACM on Programming Languages10.1145/36328978:POPL(1629-1662)Online publication date: 5-Jan-2024
- Liu SKeung JYang ZLiao YLi Y(2024)TerGEC: A Graph Enhanced Contrastive Approach for Program Termination AnalysisScience of Computer Programming10.1016/j.scico.2024.103141(103141)Online publication date: May-2024
- Kafle BGange GSchachte PSøndergaard HStuckey P(2024)A lightweight approach to nontermination inference using Constrained Horn ClausesSoftware and Systems Modeling (SoSyM)10.1007/s10270-024-01161-523:2(319-342)Online publication date: 1-Apr-2024
- Show More Cited By