01369nam--2200385---450 99000111718020331620180312154827.03-540-44235-9000111718USA01000111718(ALEPH)000111718USA0100011171820021217d2002----km-y0ITAy0103-------baENGDEStatic analysis9th International symposium, SAS 2002Madrid, Spain, September 17-20, 2002proceedingsManuel V.Hermenegildo...<et al.>(eds.)Berlin [etc.]Springer-Verlagcopyr. 2002XI, 524 p.ill.20 cmLecture notes in computer science24772001Lecture notes in computer science2477AlgoritmiCongressi2002Elaboratori elettroniciProgrammazioneCongressi2002Linguaggi di programmazioneCongressi2002005.1Hermenegildo,Manuel V.International symposium, SAS 2002 <9. ; 2002 ; Madrid , Spain>554575ITACBSISBD990001117180203316001 LNCS (2477)0027364 CBS00100113185BKSCIDIGIUSEPPE9020021217USA011357PATRY9020040406USA011717Static analysis981555UNISA