Shape Analysis
Shape-Analysen, die sich auf die Ableitung hochkomplexer Eigenschaften von Heap-manipulierenden Programmen konzentrieren, sind Techniken, die bei der automatischen Verifikation von Programmen mit unendlichen Zuständen eingesetzt werden.
Dieser Überblick bietet eine umfassende Einführung in das Gebiet der Shape-Analyse und stellt die Grundlagen des Themas in einer für Leser, die damit nicht vertraut sind, zugänglichen Weise dar. Zu diesem Zweck charakterisieren die Autoren das Wesen der Formanalyse im Vergleich zu klassischen Zeigeranalysen und erläutern die Intuition, die den in der Formanalyse häufig verwendeten Abstraktionen und den Algorithmen zur statischen Berechnung komplexer semantischer Eigenschaften zugrunde liegt.
Die Autoren behandeln die wichtigsten Familien von Abstraktionen und Algorithmen der Formanalyse, heben die Gemeinsamkeiten zwischen ihnen hervor und beschreiben die Hauptunterschiede zwischen den gängigsten Ansätzen. Schließlich demonstrieren die Autoren den Einfluss des Feldes durch die Beschreibung einiger anderer statischer Analysen - Array-Abstraktionen, Wörterbuch-Abstraktionen und interprozedurale Analysen - die von den Ideen der Formanalyse beeinflusst wurden.
Forscher und Studenten, die neu in das Konzept der Formanalyse einsteigen, finden in dieser Monographie eine umfassende Informationsquelle, die ihnen einen schnellen Einstieg in alle Aspekte des Themas ermöglicht. Mit einer umfassenden Reihe von Verweisen wird dieser leicht zugängliche Überblick den Leser in die Lage versetzen, die Techniken schnell in seine eigene weitere Forschung zu übernehmen.
| ISBN: | 9781680837322 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
