Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings - Palsberg, Jens; Palsberg, Jens (Springer Berlin Heidelberg : Imprint: Springer, 2000)