Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings - Alpuente, María; Vidal, Germán (Springer Berlin Heidelberg, 2008)