1. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL1977, Los Angeles, California, ACM Press, New York (1977)
2. IEEE;A. Miné,2001
3. Karr, M.: Affine relationships among variables of a program. Acta Inf. 6 (1976)
4. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL 1978, Tucson, Arizona, USA, ACM Press, New York (1978)
5. Cousot, P., Cousot, R.: Abstract interpretation and application to logic programs. Journal of Logic Programming 13(2–3), 103–179 (1992)