Widening and narrowing operators for abstract interpretation

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

Computing, Computer Engineering, Computer Science +15

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

Introduction to lattices and order

Choice Reviews Online · 1991 · 1.1K citations

Natural Sciences, Mathematics, Physics +10

The octagon abstract domain

Antoine Miné · LISP and Symbolic Computation · 2006 · 698 citations

Natural Sciences, Computer Science, Mathematics +5