Static analysis 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / - Cousot, Radhia. (Lecture notes in computer science ;)