Concrete Type Inference: Delivering Object-Oriented Applications (1995)

Cached

Download Links

by Ole Agesen
Citations:52 - 0 self

Documents Related by Co-Citation

172 Precise Concrete Type Inference for Object-Oriented Languages – John Plevyak , Andrew A. Chien - 1994
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
102 The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism – Ole Agesen - 1995
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
325 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
245 Fast static analysis of C++ virtual function calls – David F Bacon, Peter F Sweeney
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
73 A Unified Treatment of Flow Analysis in Higher-Order Languages – Suresh Jagannathan, Stephen Weeks - 1995
149 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
222 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
192 Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language – Craig Chambers, David Ungar - 1989
67 Fast Interprocedural Class Analysis – Greg DeFouw, David Grove, Craig Chambers - 1998
82 Making Type Inference Practical – Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach - 1992
110 Call Graph Construction in Object-Oriented Languages – David Grove - 1997
65 Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis – Flemming Nielson, Hanne Riis Nielson - 1997
119 Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs – Craig Chambers, David Ungar - 1990
224 E cient implementation of the Smalltalk-80 system – L Peter Deutsch, A M Schi man - 1984
146 Optimizing dynamically-dispatched calls with run-time type feedback – Urs Hijlzle, David Ungar - 1994