Computing polynomial program invariants

Affine relationships among variables of a program

Michael Karr · Acta Informatica · 1976 · 433 citations

Computing, Computer Science, Mathematics +12

Non-linear loop invariant generation using Gröbner bases

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna · 2004 · 252 citations

Computing, Computer Science, Algorithms +16

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Patrick Cousot · Theoretical Computer Science · 2002 · 239 citations

Computing, Computer Science, Formal Methods +15

Countable nondeterminism and random assignment

Krzysztof R. Apt, Gordon Plotkin · Journal of the ACM · 1986 · 181 citations · Full text

Computing, Computer Science, Programming Languages +13

Precise interprocedural analysis through linear algebra

Markus Müller-Olm, Helmut Seidl · 2004 · 180 citations

Computing, Computer Science, Algorithms +14