Interprétation abstraite
Sign in to saveapproach to static program analysis
In the Vinony graph
Within Vinony's link graph, Interprétation abstraite is referenced by 111 other articles, and connects out to operational semantics, polyhedron and programming language semantics.
Vinony files it under Abstract interpretation and Program analysis.
Its subject is documented across 9 Wikipedia language editions.
Article · Français
L'interprétation abstraite est une théorie d'approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice). Elle peut être définie comme une exécution partielle d'un programme pour obtenir des informations sur sa sémantique (par exemple, sa structure de contrôle, son flot de données) sans avoir à en faire le traitement complet. Sa principale fonction concrète est l'analyse statique, l'extraction automatique d'informations sur les exécutions possibles d'un programme ; ces analyses ont deux usages principaux : * pour les compilateurs, afin d'analyser le programme pour déterminer si certaines optimisations ou transformations sont possibles ; * pour le débogage, ou pour prouver l'absence de certains types de bugs dans le programme. L'interprétation abstraite a été formalisée par le professeur Patrick Cousot et le docteur Radhia Cousot.
Abstract from DBpedia / Wikipedia · CC BY-SA