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.

PDF file

In  Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),

Publisher  Elsevier
Copyright © 2007 Elsevier B.V. All rights reserved.

Details