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