Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings - Palsberg, Jens. (Springer Berlin Heidelberg, 2009)