Now showing items 12-24 of 24

    • Identifying the Semantic and Textual Differences Between Two Versions of a Program 

      Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences, 1989)
      Text-based file comparators (e.g., the Unix utility diff) are very general tools that can be applied to arbitrary files. However, using such tools to compare programs can be unsatisfactory because their only notion of ...
    • Integrating Non-Interfering Versions of Programs 

      Horwitz, Susan; Prins, Jan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1987)
    • Interprocedural Slicing Using Dependence Graphs 

      Horwitz, Susan; Reps, Thomas; Binkley, David (University of Wisconsin-Madison Department of Computer Sciences, 1988)
    • Modular Pointer Analysis 

      Horwitz, Susan; Shapiro, Marc (University of Wisconsin-Madison Department of Computer Sciences, 1998)
    • The Multi-Procedure Equivalence Theorem 

      Binkley, David; Horwitz, Susan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1989)
      Program dependence graphs have been used in program optimization, vectorization, and parallelization. They have also been used as the internal representation for programs in programming environments, as well as for ...
    • A New Program Integration Algorithm 

      Yang, Wuu; Horwitz, Susan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1989)
      Program integration attempts to construct a merged program from several related but different variants of a base program. The merged program must include the changed computations of the variants as well as the computations ...
    • On the Adequacy of Program Dependence Graphs for Representing Programs 

      Horwitz, Susan; Prins, Jan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1987)
    • Oral History Interview: Susan Horwitz (0868) 

      Pfahler, Sandy; Horwitz, Susan (2007-05)
    • Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation 

      Sagiv, Mooly; Reps, Thomas; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences, 1995)
    • Semantics-Preserving Procedure Extraction 

      Raghavan, Komondoor; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences, 1999)
    • Slicing Programs With Arbitrary Control Flow 

      Ball, Thomas J; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences, 1992)
    • 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 ...