Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings - Hanne Riis Nielson, Gilberto Filé ((Lecture Notes in Computer Science))