HorwitzSusan

发表

Integrating noninterfering versions of programs

RepsThomas, HorwitzSusan, PrinsJan, 1989 .

Relations and attributes

HorwitzSusan, TeitelbaumTim, 1985 .

Interprocedural slicing using dependence graphs

RepsThomas, HorwitzSusan, BinkleyDavid, 1990 .

Demand interprocedural dataflow analysis

RepsThomas, SagivMooly, HorwitzSusan, 1995 .

Program integration for languages with procedure calls

RepsThomas, HorwitzSusan, BinkleyDavid, 1995 .

An efficient general iterative algorithm for dataflow analysis

HorwitzSusan, DemersAlan, DemersAlan, 1987 .

Identifying the semantic and textual differences between two versions of a program

HorwitzSusan, 1990 .

A program integration algorithm that accommodates semantics-preserving transformations

RepsThomas, HorwitzSusan, YangWuu, 1992 .

Speeding up slicing

RepsThomas, SagivMooly, HorwitzSusan, 1994 .

Precise flow-insensitive may-alias analysis is NP-hard

HorwitzSusan, 1997 .

Pointer analysis for programs with structures and casting

RepsThomas, HorwitzSusan, YongSuan Hsi, 1999 .