An abstract interpretation framework for termination

Patrick Cousot, Radhia Cousot
2012 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12  
doi:10.1145/2103656.2103687 dblp:conf/popl/CousotC12 fatcat:s2bt4i4zpjcvtpe3e4ijpcuese