Analýza tvaru

Pôvodný názov:

Shape Analysis

Obsah knihy:

Tvarové analýzy zamerané na odvodzovanie veľmi zložitých vlastností programov manipulujúcich s hromadou sú techniky používané pri automatickej verifikácii programov s nekonečným stavom.

Tento prehľad poskytuje komplexný úvod do oblasti tvarovej analýzy a prístupným spôsobom predstavuje základy tejto témy čitateľom, ktorí s ňou nie sú oboznámení. Za týmto účelom autori charakterizujú podstatu tvarovej analýzy v porovnaní s klasickejšími ukazovateľovými analýzami, ako aj uvádzajú intuíciu, ktorá je základom abstrakcií bežne používaných v tvarovej analýze, a algoritmy, ktoré umožňujú staticky vypočítať zložité sémantické vlastnosti.

Autori sa zaoberajú hlavnými rodinami abstrakcií a algoritmov analýzy tvarov, zdôrazňujú podobnosti medzi nimi a charakterizujú hlavné rozdiely medzi najbežnejšími prístupmi. Na záver autori demonštrujú vplyv tejto oblasti opisom niekoľkých ďalších prác v oblasti statickej analýzy - abstrakcie polí, slovníkových abstrakcií a medziprocedurálnych analýz -, ktoré boli ovplyvnené myšlienkami analýzy tvarov.

Výskumníci a študenti, ktorí sa s koncepciou analýzy tvarov ešte len zoznamujú, nájdu v tejto monografii komplexné informácie, ktoré ich rýchlo uvedú do problematiky všetkých aspektov tejto témy. Vďaka rozsiahlemu súboru odkazov tento prístupný prehľad umožní čitateľovi rýchlo si osvojiť techniky vo vlastnom ďalšom výskume.