Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Eran Yahav ((Lecture Notes in Computer Science))