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]

@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},
}