Abstract interpretation and Object-oriented languages: quo vadis?

Francesco Logozzo; Agostino Cortesi

Abstract interpretation and Object-oriented languages: quo vadis?

Francesco Logozzo ,
Agostino Cortesi

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

Published by Elsevier

Download BibTex

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.