Search
Now showing items 1-10 of 13
Interprocedural Slicing Using Dependence Graphs
(University of Wisconsin-Madison Department of Computer Sciences, 1988)
A New Program Integration Algorithm
(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 ...
Correctness of an Algorithm for Reconstituting a Program From a Dependence Graph
(University of Wisconsin-Madison Department of Computer Sciences, 1990)
Integrating Non-Interfering Versions of Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1987)
The Multi-Procedure Equivalence Theorem
(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 ...
Detecting Program Components With Equivalent Behaviors
(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 ...
Demand Interprocedural Dataflow Analysis
(University of Wisconsin-Madison Department of Computer Sciences, 1995)
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation
(University of Wisconsin-Madison Department of Computer Sciences, 1995)
Specialization Slicing
(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 ...
Efficient Comparison of Program Slices
(University of Wisconsin-Madison Department of Computer Sciences, 1990)