Journal of Systems and Software · 2005 · 40 citations · 59 references
ComputingComputer EngineeringComputer ScienceCompilersComputer ArchitectureData-flow AnalysisProgram SlicingSlicingSlicing Algorithms
59
Mark Weiser · IEEE Transactions on Software Engineering · 1984 · 3.2K citations
Precise interprocedural dataflow analysis via graph reachability
Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations
Hiralal Agrawal, J.R. Horgan · 1990 · 879 citations · Full text