Efficient computation of fixpoints that arise in complex program analysis

Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi. Efficient computation of fixpoints that arise in complex program analysis. J. Prog. Lang., 3(1), 1995. [doi]

Bibliographies