Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings - Palsberg, Jens, 1964- (Springer, 2000)