|
223
|
P.F.: Fast static analysis of C++ virtual function calls
– D F Bacon, Sweeney
- 1996
|
|
302
|
Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis
– Jeffrey Dean, David Grove, Craig Chambers
- 1995
|
|
209
|
Object-Oriented Type Inference
– Jens Palsberg, Michael I. Schwartzbach
- 1991
|
|
164
|
Precise Concrete Type Inference for Object-Oriented Languages
– John Plevyak , Andrew A. Chien
- 1994
|
|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
112
|
Practical Virtual Method Call Resolution for Java
– Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin
- 2000
|
|
118
|
Scalable propagation-based call graph construction algorithms
– Frank Tip
- 2000
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
65
|
Fast Interprocedural Class Analysis
– Greg DeFouw, David Grove, Craig Chambers
- 1998
|
|
51
|
Simple and Effective Analysis of Statically-Typed Object-Oriented Programs
– Amer Diwan, J. Eliot, B. Moss, Kathryn S. M Kinley
- 1996
|
|
42
|
Constraint-Based Type Inference and Parametric Polymorphism
– Ole Agesen
- 1994
|
|
64
|
Practical Experience with an Application Extractor for Java
– Frank Tip, Chris Laffra, Peter F. Sweeney, David Streeter
- 1999
|
|
143
|
Fast and Accurate Flow-Insensitive Points-To Analysis
– Marc Shapiro, Susan Horwitz
- 1997
|
|
98
|
Relevant Context Inference
– Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
- 1999
|
|
267
|
Control-Flow Analysis of Higher-Order Languages
– Olin Shivers
- 1991
|
|
1542
|
A.: The Java Language Specification
– J Gosling, B Joy, G Steele, G Bracha, Buckley
- 2012
|
|
110
|
Vortex: An Optimizing Compiler for Object-Oriented Languages
– Jeffrey Dean, Greg Defouw, David Grove, Vassily Litvinov, Craig Chambers
- 1996
|
|
86
|
Optimizing Java Bytecode using the Soot Framework: Is it Feasible?
– Raja Vallee-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan
- 2000
|
|
126
|
A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing
– Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher
- 2001
|
