A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops | IEEE Conference Publication | IEEE Xplore