Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings - Cousot, Patrick; Cousot, Patrick (Springer Berlin Heidelberg : Imprint: Springer, 2001)