Shape Analysis
A halmazt manipuláló programok rendkívül összetett tulajdonságainak kikövetkeztetésére összpontosító alakelemzések a végtelen állapotú programok automatikus verifikációjában használt technikák.
Ez az áttekintés átfogó bevezetést nyújt az alakelemzés területébe, és a témában járatlan olvasók számára is érthető módon mutatja be a téma alapjait. Ennek érdekében a szerzők jellemzik az alakelemzés lényegét a klasszikusabb mutatóelemzésekhez képest, valamint megadják az alakelemzésben általánosan használt absztrakciók és a bonyolult szemantikai tulajdonságok statikus kiszámítását lehetővé tevő algoritmusok alapjául szolgáló intuíciót.
A szerzők kitérnek az alakelemzés absztrakcióinak és algoritmusainak főbb családjaira, kiemelik a köztük lévő hasonlóságokat, és jellemzik a leggyakoribb megközelítések közötti főbb különbségeket. Végül a szerzők a terület hatását néhány más statikus elemzési munka - tömb-absztrakciók, szótár-absztrakciók és interprocedurális elemzések - ismertetésével mutatják be, amelyekre az alakelemzés ötletei hatottak.
Az alakelemzés koncepciójával újonnan ismerkedő kutatók és hallgatók számára ez a monográfia egy olyan egyablakos információgyűjtemény, amely gyorsan eligazítja őket a téma minden aspektusában. Ez a közérthető áttekintés átfogó hivatkozásokkal lehetővé teszi az olvasó számára, hogy a technikákat gyorsan átvegye saját további kutatásai során.
