Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
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émantiqu...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1978
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00288657 http://tel.archives-ouvertes.fr/docs/00/28/86/57/PDF/Cousot.Patrick_1978_these.pdf |