Patrick Cousot, Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. [Citation Graph (8, 0)][DBLP] POPL, 1977, pp:238-252 [Conf]
Patrick Cousot, Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. [Citation Graph (8, 0)][DBLP] POPL, 1977, pp:238-252 [Conf]