Abstract interpretation and Object-oriented languages: quo vadis?

Abstract:

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.

Back to the Homepage