Equivalence of conservative, free, linear program schemas is decidable

Program Slicing

Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations

Computing, Computer Engineering, Computer Science +14

Interprocedural slicing using dependence graphs

Susan Horwitz, Thomas Reps, David Binkley · ACM Transactions on Programming Languages and Systems · 1990 · 1.5K citations · Full text

Computing, Computer Science, Algorithms +11

A Survey of Program Slicing Techniques.

Frank Tip · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1994 · 866 citations · Full text

Computing, Computer Engineering, Computer Science +7

Using program slicing in software maintenance

Keith Gallagher, James R. Lyle · IEEE Transactions on Software Engineering · 1991 · 660 citations

Computing, Computer Science, Algorithms +11

Integrating noninterfering versions of programs

Susan Horwitz, Jan F. Prins, Thomas Reps · ACM Transactions on Programming Languages and Systems · 1989 · 420 citations

Computing, Computer Engineering, Computer Science +7