• Login
    Search 
    •   MINDS@UW Home
    • MINDS@UW Madison
    • Search
    •   MINDS@UW Home
    • MINDS@UW Madison
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-10 of 13

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Interprocedural Slicing Using Dependence Graphs 

    Horwitz, Susan; Reps, Thomas; Binkley, David (University of Wisconsin-Madison Department of Computer Sciences, 1988)
    Thumbnail

    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 ...
    Thumbnail

    Correctness of an Algorithm for Reconstituting a Program From a Dependence Graph 

    Ball, Thomas; Horwitz, Susan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1990)
    Thumbnail

    Integrating Non-Interfering Versions of Programs 

    Horwitz, Susan; Prins, Jan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1987)
    Thumbnail

    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 ...
    Thumbnail

    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 ...
    Thumbnail

    Demand Interprocedural Dataflow Analysis 

    Horwitz, Susan; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences, 1995)
    Thumbnail

    Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation 

    Sagiv, Mooly; Reps, Thomas; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences, 1995)
    Thumbnail

    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 ...
    Thumbnail

    Efficient Comparison of Program Slices 

    Horwitz, Susan; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 1990)
    • 1
    • 2

    Contact Us | Send Feedback
     

     

    Browse

    All of MINDS@UWCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    Author
    Horwitz, Susan (13)
    Reps, Thomas (13)
    Aung, Min (3)Joiner, Rich (3)Binkley, David (2)Prins, Jan (2)Sagiv, Mooly (2)Yang, Wuu (2)Ball, Thomas (1)Subjectprogram specialization (2)coarsest-partition problem (1)executable slice (1)executable slicing (1)feature removal (1)polyvariant (1)program (1)program dependence graph (1)Program slicing (1)program slicing (1)... View MoreDate Issued2010 - 2013 (3)1990 - 1999 (4)1987 - 1989 (6)Has File(s)
    Yes (13)

    Contact Us | Send Feedback