Département d informatique École normale supérieure rue d Ulm Paris cedex Patrick fr
10 pages
Français

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

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

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
10 pages
Français
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description


  • 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


Sujets

Informations

Publié par
Nombre de lectures 27
Langue Français

Extrait

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents