Abstract interpretation and Object-oriented languages: 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.

aiool05.pdf
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

TypeInproceedings
> Publications > Abstract interpretation and Object-oriented languages: quo vadis?