Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings - Hermenegildo, Manuel; Hermenegildo, Manuel; Puebla, German; Puebla, German (Springer Berlin Heidelberg : Imprint: Springer, 2002)