Title: Algorithms for finding fixpoints in abstract interpretation