Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 1978

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

Abstract

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.
Fichier principal
Vignette du fichier
Cousot.Patrick_1978_these.pdf (10.17 Mo) Télécharger le fichier

Dates and versions

tel-00288657 , version 1 (18-06-2008)

Identifiers

  • HAL Id : tel-00288657 , version 1

Cite

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⟩

Collections

UGA CNRS TDS-MACS
967 View
497 Download

Share

Gmail Facebook X LinkedIn More