Browsing Department of Computer Sciences, UW-Madison by Author "Yang, Wuu"
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)