|
267
|
Control-Flow Analysis of Higher-Order Languages
– Olin Shivers
- 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
|
|
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
|
|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
96
|
The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism
– Ole Agesen
- 1995
|
|
1542
|
A.: The Java Language Specification
– J Gosling, B Joy, G Steele, G Bracha, Buckley
- 2012
|
|
209
|
Object-Oriented Type Inference
– Jens Palsberg, Michael I. Schwartzbach
- 1991
|
|
185
|
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
– Craig Chambers, David Ungar
- 1989
|
|
77
|
Making Type Inference Practical
– Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach
- 1992
|
|
71
|
A Unified Treatment of Flow Analysis in Higher-Order Languages
– Suresh Jagannathan, Stephen Weeks
- 1995
|
|
143
|
Fast and Accurate Flow-Insensitive Points-To Analysis
– Marc Shapiro, Susan Horwitz
- 1997
|
|
65
|
Fast Interprocedural Class Analysis
– Greg DeFouw, David Grove, Craig Chambers
- 1998
|
|
116
|
Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs
– Craig Chambers, David Ungar
- 1990
|
|
139
|
Optimizing dynamically-dispatched calls with run-time type feedback
– Urs Hölzle, David Ungar
- 1994
|
|
1208
|
SmallTalk-80: The Language and its Implementation
– A Goldberg, D Robson
- 1983
|
|
100
|
Call Graph Construction in Object-Oriented Languages
– David Grove
- 1997
|
|
59
|
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
– Flemming Nielson, Hanne Riis Nielson
- 1997
|
