Microsoft Research
Microsoft Translator |
Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages

Agostino Cortesi and Francesco Logozzo
24 May 2005

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

Details

TypeProceedings
URLhttp://www.enseignement.polytechnique.fr/informatique/profs/Francesco.Logozzo/aiool05.pdf
Volume131
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages