Christopher Charles Martin

• Algorithms for finding fixpoints in abstract interpretation