Static analysis 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings / - Alpuente, María.; Vidal, Germán (Lecture notes in computer science,)