Titre original :
Shape Analysis
Contenu du livre :
Les analyses de forme qui se concentrent sur la déduction de propriétés très complexes des programmes manipulant le tas sont des techniques utilisées dans la vérification automatique des programmes à l'état infini.
Cette étude fournit une introduction complète au domaine de l'analyse de forme et présente les fondements du sujet d'une manière accessible aux lecteurs qui ne sont pas familiers avec celui-ci. Pour ce faire, les auteurs caractérisent l'essence de l'analyse de forme par rapport aux analyses de pointeurs plus classiques et donnent l'intuition qui sous-tend les abstractions couramment utilisées dans l'analyse de forme et les algorithmes qui permettent de calculer statiquement des propriétés sémantiques complexes.
Les auteurs couvrent les principales familles d'abstractions et d'algorithmes d'analyse de forme, soulignent les similitudes entre elles et caractérisent les principales différences entre les approches les plus courantes. Enfin, les auteurs démontrent l'impact du domaine en décrivant quelques autres travaux d'analyse statique - abstractions de tableaux, abstractions de dictionnaires et analyses interprocédurales - qui ont été influencés par les idées de l'analyse de forme.
Les chercheurs et les étudiants qui découvrent le concept de l'analyse de forme trouveront dans cette monographie un guichet unique d'informations qui leur permettra de se familiariser rapidement avec tous les aspects du sujet. Avec un ensemble complet de références, cette étude accessible permettra au lecteur d'adopter rapidement les techniques dans ses propres recherches.
Autres informations sur le livre :
| ISBN : | 9781680837322 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
