 |
|
|
|
| Fiche détaillée | HDR |
|
|
| Institut National Polytechnique de Grenoble - INPG Université Joseph-Fourier - Grenoble I (21/03/1978), Louis Bolliet (Pr.) |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes |
|
|
| Patrick Cousot1 |
|
|
|
| Théorèmes de points fixes dans les treillis complets, étude du comportement d'un système dynamique discret, analyse sémantique exacte des programmes et applications. Méthodes constructives d'approximation de points fixes d'opérateurs monotone sur un treillis complet. Analyse sémantique approchée des programmes et applications. Analyse sémantique des procédures recursives. |
|
|
|
|
|
|
|
|
|
| 1 : | IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble |
|
|
|
|
|
|
|
| approximation – sémantique – erreur – programmation – compilation – programme – vérification |
| . |
| tel-00288657, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00288657 | |
| oai:tel.archives-ouvertes.fr:tel-00288657 | |
| Contributeur : Thèses Imag | |
| Soumis le : Mercredi 18 Juin 2008, 07:49:36 | |
| Dernière modification le : Mercredi 18 Juin 2008, 09:02:02 | |
