1995
DOI: 10.1145/223428.207119
|View full text |Cite
|
Sign up to set email alerts
|

Selective specialization for object-oriented languages

Abstract: Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing other optimizations. To reduce this overhead, optimizing compilers for object-oriented languages analyze the classes of objects stored in program variables, with the goal of bounding the possible classes of message receivers enough so that the compiler can uniquely determine the target of a message send at compile time and replace the mes… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
11
0

Year Published

2000
2000
2019
2019

Publication Types

Select...
6
4

Relationship

0
10

Authors

Journals

citations
Cited by 29 publications
(11 citation statements)
references
References 13 publications
0
11
0
Order By: Relevance
“…Polyvariant analyses can be used in conjunction with transformations to resolve polymorphic method invocations. Chambers [1992], , Hölzle and Ungar [1994], Dean et al [1994], and Grove et al [1995] describe transformations for converting polymorphic method invocations to direct calls, which we did not perform. Plevyak and Chien discuss reasons for loss of type information, but do not present any results.…”
Section: Alias Analysismentioning
confidence: 99%
“…Polyvariant analyses can be used in conjunction with transformations to resolve polymorphic method invocations. Chambers [1992], , Hölzle and Ungar [1994], Dean et al [1994], and Grove et al [1995] describe transformations for converting polymorphic method invocations to direct calls, which we did not perform. Plevyak and Chien discuss reasons for loss of type information, but do not present any results.…”
Section: Alias Analysismentioning
confidence: 99%
“…Partial evaluation of object-oriented languages such as Java has been extensively studied [Dean et al 1994;Marquard and Steensgaard 1992;Schultz 2001;Schultz et al 2003;Shali and Cook 2011]. Shali et al [Shali and Cook 2011] use partial evaluation to specialize generic frameworks in the context of the usage pattern of particular applications.…”
Section: Related Workmentioning
confidence: 99%
“…Selective specialization for object-oriented languages corresponds to procedure cloning. Static analysis and profile data have been used to select procedures to specialize [28]. Procedure cloning is an alternative to inlining; a single optimized clone handles similar calls, reducing code expansion.…”
Section: Procedures Cloningmentioning
confidence: 99%