Weighted pushdown systems and their application to interprocedural dataflow analysis

MOPS

Hao Chen, David Wagner · 2002 · 380 citations

Software Security, Engineering, Runtime Verification +14

Precise interprocedural dataflow analysis with applications to constant propagation

Mooly Sagiv, Thomas Reps, Susan Horwitz · Theoretical Computer Science · 1996 · 289 citations

Engineering, Data Flow, Runtime Verification +11

Memoing for logic programs

David S. Warren · Communications of the ACM · 1992 · 212 citations · Full text

Precise interprocedural analysis through linear algebra

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

Mathematical Programming, Engineering, Compiler Technology +19

A direct symbolic approach to model checking pushdown systems

Alain Finkel, Bernard Willems, Pierre Wolper · Open Repository and Bibliography (University of Liège) · 1997 · 178 citations