Analiza formelor

Titlul original:

Shape Analysis

Conținutul cărții:

Analizele de formă care se concentrează pe deducerea proprietăților foarte complexe ale programelor care manipulează heap sunt tehnici utilizate în verificarea automată a programelor cu stare infinită.

Acest studiu oferă o introducere cuprinzătoare în domeniul analizei de formă și prezintă bazele subiectului într-o manieră accesibilă pentru cititorii care nu sunt familiarizați cu acesta. Pentru a face acest lucru, autorii caracterizează esența analizei formei în comparație cu analizele mai clasice ale pointerilor, precum și oferă intuiția care stă la baza abstracțiilor utilizate în mod obișnuit în analiza formei și a algoritmilor care permit calcularea statică a proprietăților semantice complicate.

Autorii acoperă principalele familii de abstracțiuni și algoritmi de analiză a formelor, evidențiază asemănările dintre ele și caracterizează principalele diferențe dintre cele mai comune abordări. În cele din urmă, autorii demonstrează impactul domeniului prin descrierea câtorva alte lucrări de analiză statică - abstracții de matrice, abstracții de dicționare și analize interprocedurale - care au fost influențate de ideile analizei de formă.

Cercetătorii și studenții noi în ceea ce privește conceptul de analiză a formei vor găsi în această monografie un ghișeu unic de informații care îi va pune rapid la curent cu toate aspectele acestui subiect. Cu un set cuprinzător de referințe, acest studiu accesibil va permite cititorului să adopte rapid tehnicile în propriile cercetări ulterioare.