P. Cousot and R. Cousot, Static Determination of Dynamic Properties of Programs, Symposium on Programming, pp.106-130, 1976.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot and R. Cousot, An Abstract Interpretation Framework for Termination, POPL, pp.245-258, 2012.

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

W. Edsger and . Dijkstra, A Discipline of Programming, 1976.

R. W. Floyd, Assigning meanings to programs, Proceedings of Symposium on Applied Mathematics, vol.19, pp.19-32, 1967.
DOI : 10.1090/psapm/019/0235771

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, CAV, pp.661-667, 2009.
DOI : 10.1007/978-3-642-02658-4_52

URL : https://hal.archives-ouvertes.fr/hal-00786354

A. Miné, The Octagon Abstract Domain. Higher-Order and Symbolic Computation, pp.31-100, 2006.

C. Urban, The Abstract Domain of Segmented Ranking Functions 12 Caterina Urban and Antoine Miné. An Abstract Domain to Infer Ordinal-Valued Ranking Functions, SAS ESOP, pp.43-62, 2013.