Program analysis concerns static techniques for computing reliable approximate information
about the dynamic behaviour of programs. Applications include compilers (for code …

Optimizing compilers for object-oriented languages apply static class analysis and other
techniques to try to deduce precise information about the possible classes of the receivers of …

A large number of call graph construction algorithms for object-oriented and functional
languages have been proposed, each embodying different tradeoffs between analysis cost …

Concrete types and abstract types are different and serve different purposes. Concrete
types, the focus of this paper, are essential to support compilation, application delivery, and …

Abstrach Object-oriented programs are difficult to optimize because they execute many
dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler …

Object-oriented scripting languages like Javascript and Python are popular partly because
of their dynamic features. These include the runtime modification of objects and classes …

Many general-purpose, object-oriented scripting languages are dynamically typed, which
provides flexibility but leaves the programmer without the benefits of static ty**, including …

JavaScript performance is often bound by its dynamically typed nature. Compilers do not
have access to static type information, making generation of efficient, type-specialized …

We identify three design principles for reflection and metaprogramming facilities in object
oriented programming languages. Encapsulation: meta-level facilities must encapsulate …

Crossing abstraction boundaries often incurs a substantial run-time overhead in the form of
frequent procedure calls. Thus, pervasive use of abstraction, while desirable from a design …