Object-oriented programming represents an original implementation issue due to its
philosophy of making the program behavior depend on the dynamic type of objects. This is …

Two-level predictors deliver highly accurate conditional branch prediction, indirect branch
target prediction and value prediction. Accurate prediction enables speculative execution of …

The notion of refactoring-transforming the source-code of an object-oriented program
without changing its external behavior-has been embraced by many object-oriented …

The dispatching problem can be solved very efficiently in the single-inheritance~(SI) setting.
In this paper we show how to extend one such solution to the multiple-inheritance~(MI) …

Double dispatch is the ability to dynamically select a method not only according to the run‐
time type of the receiver (single dispatch), but also according to the run‐time type of the …

Recent works by JF Sowa (2000) and D. Rayside and GT Campbell (2000) demonstrate that
there is a strong connection between object-oriented programming and the logical formalism …

In this dissertation, I investigate the notion of component-oriented programming languages.
Simply put, a programming language is component-oriented if (and only if) it facilitates …

Many program analyses involve, or can be expressed in terms of, a graph reachability
problem. We present a generic worklist-style algorithm capable of expressing and solving …

A fundamental problem in the implementation of object-oriented languages is that of a frugal
implementation of dynamic dispatching, that is, a small footprint data structure that supports …

Programming languages have become an unavoidable tool, not only for computer experts,
but also for scientists and engineers from all horizons. For the sake of usability, modern …