Département d'informatique École normale supérieure rue d'Ulm Paris cedex Patrick fr

• 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