Now showing items 1-3 of 3

    • Executable Slicing via Procedure Specialization 

      Aung, Min; Horwitz, Susan; Joiner, Rich; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2012-03)
      Although Weiser originally defined a program slice to be an executable projection of a program, much of the research on slicing has focused on closure slices, which consist of the set of statements and conditions of the ...
    • Specialization Slicing 

      Aung, Min; Horwitz, Susan; Joiner, Rich; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2013-08-14)
      This paper defines a new variant of program slicing, called specialization slicing, and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization ...
    • Specialization Slicing 

      Aung, Min; Horwitz, Susan; Joiner, Rich; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2012-10-27)
      This paper defines a new variant of program slicing, called specialization slicing, and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization ...