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...

Full description

Bibliographic Details
Main Author:	Cousot, Patrick
Language:	FRE
Published:	1978
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation approximation sémantique erreur programmation compilation programme vérification
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

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00288657
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-002886572013-01-07T18:34:09Z http://tel.archives-ouvertes.fr/tel-00288657 http://tel.archives-ouvertes.fr/docs/00/28/86/57/PDF/Cousot.Patrick_1978_these.pdf Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes Cousot, Patrick [INFO:INFO_MO] Computer Science/Modeling and Simulation approximation sémantique erreur programmation compilation programme vérification 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. 1978-03-21 FRE habilitation ࠤiriger des recherches
collection	NDLTD
language	FRE
sources	NDLTD
topic	[INFO:INFO_MO] Computer Science/Modeling and Simulation approximation sémantique erreur programmation compilation programme vérification
spellingShingle	[INFO:INFO_MO] Computer Science/Modeling and Simulation approximation sémantique erreur programmation compilation programme vérification Cousot, Patrick Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
description	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.
author	Cousot, Patrick
author_facet	Cousot, Patrick
author_sort	Cousot, Patrick
title	Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
title_short	Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
title_full	Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
title_fullStr	Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
title_full_unstemmed	Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
title_sort	méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
publishDate	1978
url	http://tel.archives-ouvertes.fr/tel-00288657 http://tel.archives-ouvertes.fr/docs/00/28/86/57/PDF/Cousot.Patrick_1978_these.pdf
work_keys_str_mv	AT cousotpatrick methodesiterativesdeconstructionetdapproximationdepointsfixesdoperateursmonotonessuruntreillisanalysesemantiquedesprogrammes
_version_	1716453678964015104

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

Similar Items