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