Now showing items 1-4 of 4

    • Detecting Program Components With Equivalent Behaviors 

      Yang, Wuu; Horwitz, Susan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1989)
      The execution behavior of a program component is defined as the sequence of values produced at the component during program execution. This paper presents an efficient algorithm for detecting program components ? in one ...
    • A New Algorithm for Semantics-Based Program Integration 

      Yang, Wuu (University of Wisconsin-Madison Department of Computer Sciences, 1990)
    • 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 ...
    • The Semantics of Program Slicing 

      Reps, Thomas; Yang, Wuu (University of Wisconsin-Madison Department of Computer Sciences, 1988)