01455nam--2200421---450 99000084398020331620180312154822.03-540-42314-10084398USA010084398(ALEPH)000084398USA01008439820020107d2001----km-y0ITAy0103-------baENGDEStatic analysis8th International symposium, SAS 2001Paris, France, July 16-18, 2001proceedingsPatrick Cousot (ed.)Berlin [etc.]Springer-Verlagcopyr. 2001XI, 436 p.ill.20 cmLecture notes in computer science21262001Lecture notes in computer science2126AlgoritmiCongressi2001Elaboratori elettroniciProgrammazioneCongressi2001Linguaggi di programmazioneCongressi2001CongressiParigi2001005.1Cousot,PatrickInternational symposium SAS 2001 <8. ; 2001 ; Parigi, France>551069ITACBSISBD990000843980203316001 LNCS (2126)0026693 CBS00100110875BKSCIALANDI9020020107USA010911ALANDI9020020129USA01123820020403USA011730PATRY9020040406USA011658Static analysis968040UNISA