Patrick Cousot, Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In POPL. pages 238-252, 1977.
No references recorded for this publication.
No citations of this publication recorded.