Jens Palsberg Zhendong Su Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings 5673 2009 http://dx.doi.org/10.1007/978-3-642-03237-0 978-3-642-03236-3 SAS Lecture Notes in Computer Science Springer db/conf/sas/sas2009.html