Michael Burke. An interval-based approach to exhcaustive and incremental interprocedural analysis. ACM Transactions on Programming Languages and Systems, 12(3):341--395, July 1990. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Reducing Indirect Function Call Overhead In C++ Programs - Calder, Grumwald (1994) (77 citations) (Correct)
....A large body of research exists in dataflow analysis to determine the set of possible call targets for a given call site. Ryder[24] presented a method for computing the call graph, or set of functions, that may be called by each call site using dataflow equations. More recent work by Burke[4] and Hall[13] has refined this technique. All of this work characterized programs where procedure values may be passed as function parameters. Others, including Hall [13] also examine functional programs. More recently, Pande and Ryder[22] have shown that inferring the set of call targets for ....
Michael Burke. An interval-based approach to exhcaustive and incremental interprocedural analysis. ACM Transactions on Programming Languages and Systems, 12(3):341--395, July 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC