Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages

Agostino Cortesi and Francesco Logozzo

Details

Publication typeProceedings
URLhttp://www.enseignement.polytechnique.fr/informatique/profs/Francesco.Logozzo/aiool05.pdf
Volume131
PublisherElsevier
> Publications > Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages