Efficient computation of fixpoints that arise in complex program analysis (1995)

by Liling Chen, Luddy Harrison, Kwangkeun Yi
Venue:Journal of Programming Languages