Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes

Résumé : 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.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00288657
Contributor : Thèses Imag <>
Submitted on : Wednesday, June 18, 2008 - 7:49:36 AM
Last modification on : Friday, November 6, 2020 - 4:08:46 AM
Long-term archiving on: : Friday, May 28, 2010 - 10:35:34 PM

Identifiers

  • HAL Id : tel-00288657, version 1

Collections

Citation

Patrick Cousot. Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1978. ⟨tel-00288657⟩

Share

Metrics

Record views

1109

Files downloads

1347