Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Jens Palsberg, Zhendong Su ((Lecture Notes in Computer Science))