Abstract Interpretation and Object-oriented Programming: Quo Vadis?

The aim of this position paper is to draw a quick overview of the main contributions in abstract interpretation of object-oriented programs, and to draw possible lines of research in this field.