Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Abstract interpretation and Object-oriented languages: quo vadis?

Francesco Logozzo and Agostino Cortesi

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.

Details

Publication typeInproceedings
Published inProceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),
PublisherElsevier
> Publications > Abstract interpretation and Object-oriented languages: quo vadis?