Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings - Hermenegildo, Manuel de, 1959-; Puebla, Germán (Springer, 2002)