Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings / - Cousot, Patrick (Springer, 2001)