Principles of Program Analysis

Programanalyse omhandler statiske teknikker for å beregne pålitelig, omtrentlig informasjon om det dynamiske atferdsmønsteret til programmer. Bruksområdene inkluderer kompilatorer for kodeforbedring, programvarevalidering for å oppdage feil i algoritmer eller brudd på sikkerhet, samt transformasjoner mellom datastørrelser for å løse problemer som for eksempel Y2K-problemet. Denne boken skiller seg ut ved å gi en omfattende oversikt over de fire hovedmetodene innen programanalyse: dataflytanalyse, begrensningsbasert analyse, abstrakt tolkning, og type- og effekt-systemer. Presentasjonen viser de omfattende likhetene mellom disse metodene, noe som vil hjelpe leseren med å velge den rette tilnærmingen og berike den med innsikter fra de andre metodene. Boken dekker både grunnleggende semantiske egenskaper og mer avanserte algoritmiske teknikker. Den er rettet mot master- og doktorgradsstudenter, men vil også være verdifull for erfarne forskere og fagfolk.