MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  2.1 The Soot Framework.............................................. 4

Download:
Download as a PDF | Download as a PS
by Vijay Sundaresan, Laurie Hendren, Chrislain Raza Mahefa, Raja Valle-rai, Patrick Lam, Charles Godin
http://www.sable.mcgill.ca/publications/./sable-tr-1999-4.ps.gz
Add To MetaCart

Abstract:

Citations

280 Optimization of object-oriented programs using static class hierarchy analysi – Dean, Grove, et al. - 1995
231 Control-Flow Analysis of Higher-Order Languages or Taming Lambda – Shivers - 1991
208 Object-oriented type inference – Palsberg, Schwartzbach - 1991
186 Fast static analysis of C++ virtual function calls – Bacon, Sweeney - 1996
158 Precise Concrete Type Inference for Object-Oriented Languages – Plevyak, Chien - 1994
150 Control Flow Analysis in Scheme – Shivers - 1988
139 Optimizing Dynamically-Dispatched Calls With RunTime Type Feedback – Hölzle, Ungar - 1994
120 Reducing Indirect Function Call Overhead in C++ Programs – Calder, Grunwald - 1994
115 Vortex: An Optimizing Compiler for Object-Oriented Languages – Dean, DeFouw, et al. - 1996
91 Call graph construction in object-oriented languages – Grove, DeFouw, et al. - 1997
91 Relevant Context Inference – Chatterjee, Ryder, et al. - 1999
87 The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism – Agesen - 1995
61 Fast interprocedural class analysis – DeFouw, Grove, et al. - 1998
56 Eliminating virtual function calls in C++ programs – Aigner, Hölzle - 1996
54 Constructing the call graph of a program – Ryder - 1979
50 Constraint-based type inference and parametric polymorphism – Agesen - 1994
48 E cient call graph analysis – Hall, Kennedy - 1992
41 Static type determination for C – Pande, Ryder - 1993
30 Constructing call multigraphs using dependence graphs – Lakhotia - 1993
16 Simple and e#ective analysis of statically-typed object-oriented programs – Diwan, Moss, et al. - 1996
15 Simple and eective link-time optimization of Modula-3 programs – Fernandez - 1995
5 Harissa: A exible and ecient Java environment mixing bytecode and compiled code – Muller, Moura, et al. - 1997
5 Practical techniques for virtual call resolution in Java – Sundaresan - 1999
View or Download | Add to My Collection | Correct Errors