Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings - María Alpuente, Germán Vidal ((Lecture Notes in Computer Science))