Static analysis 8th international symposium, SAS 2001, Paris, France, July 16 - 18, 2001 ; proceedings (Springer, 2001)