Demand Interprocedural Program Analysis Using Logic Databases
Thomas Reps
This paper describes how algorithms for demand versions of
inerprocedural program-analysis problems can be obtained from their
exhaustive counterparts essentially for free, by applying the
so-called magic-sets transformation that was developed in the
logic-programming and deductive-database communities. Applications to
interprocedural dataflow analysis and interprocedural program slicing
are described.
(Click here to access the paper:
PostScript,
PDF.)
University of Wisconsin