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]
@article{ChenHY95, title = {Efficient computation of fixpoints that arise in complex program analysis}, author = {Li-Ling Chen and Williams Ludwell Harrison III and Kwangkeun Yi}, year = {1995}, url = {http://compscinet.dcs.kcl.ac.uk/JP/jp030102.abs.html}, tags = {program analysis, analysis}, researchr = {https://researchr.org/publication/ChenHY95}, cites = {0}, citedby = {0}, journal = {J. Prog. Lang.}, volume = {3}, number = {1}, }