Département d'informatique École normale supérieure rue d'Ulm Paris cedex Patrick fr
10
pages
Français
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
10
pages
Français
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
- mémoire
+ + Interprétation abstraite Patrick Cousot Département d'informatique, École normale supérieure, 45 rue d'Ulm, 75230 Paris cedex 05 , RÉSUMÉ. L'interprétation abstraite est une théorie de l'approximation discrète de sémantiques de systèmes infor
- base de la théorie de l'interprétation abstraite
- vérification
- sémantique
- approximation
- modèle de calcul
- production de logiciels fiables
- logiciel
