Precise Concrete Type Inference for Object-Oriented Languages

  title={Precise Concrete Type Inference for Object-Oriented Languages},
  author={John Plevyak and Andrew A. Chien},
Concrete type information is invaluable for program optimization. The determination of concrete types in object-oriented languages is a flow sensitive global data flow problem. It is made difficult by dynamic dispatch (virtual function invocation) and first class functions (and selectors)—the very program structures for whose optimization its results are most critical. Previous work has shown that constraint-based type inference systems can be used to safely approximate concrete types [15], but… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 244 citations. REVIEW CITATIONS


Publications citing this paper.

244 Citations

Citations per Year
Semantic Scholar estimates that this publication has 244 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Mak- ing type inference practical

N. Oxh j, J. Palsberg, M. Schwartzbach
In Proceedings of OOPSLA • 1992
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…