Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques

La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les soluti...

Full description

Bibliographic Details
Main Author:	Soler, Roger
Language:	FRE
Published:	1982
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation équation de domaines types abstraits théorie des domaines approximation Treillis produits cartésiens
Online Access:	http://tel.archives-ouvertes.fr/tel-00305348 http://tel.archives-ouvertes.fr/docs/00/30/53/48/PDF/Soler.Roger_1982_these.pdf

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00305348
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003053482013-01-07T18:33:00Z http://tel.archives-ouvertes.fr/tel-00305348 http://tel.archives-ouvertes.fr/docs/00/30/53/48/PDF/Soler.Roger_1982_these.pdf Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques Soler, Roger [INFO:INFO_MO] Computer Science/Modeling and Simulation équation de domaines types abstraits théorie des domaines approximation Treillis produits cartésiens La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation 1982-09-21 FRE PhD thesis
collection	NDLTD
language	FRE
sources	NDLTD
topic	[INFO:INFO_MO] Computer Science/Modeling and Simulation équation de domaines types abstraits théorie des domaines approximation Treillis produits cartésiens
spellingShingle	[INFO:INFO_MO] Computer Science/Modeling and Simulation équation de domaines types abstraits théorie des domaines approximation Treillis produits cartésiens Soler, Roger Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques
description	La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation
author	Soler, Roger
author_facet	Soler, Roger
author_sort	Soler, Roger
title	Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques
title_short	Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques
title_full	Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques
title_fullStr	Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques
title_full_unstemmed	Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques
title_sort	une approche de la théorie de d. scott et application à la sémantique des types abstraits génériques
publishDate	1982
url	http://tel.archives-ouvertes.fr/tel-00305348 http://tel.archives-ouvertes.fr/docs/00/30/53/48/PDF/Soler.Roger_1982_these.pdf
work_keys_str_mv	AT solerroger uneapprochedelatheoriededscottetapplicationalasemantiquedestypesabstraitsgeneriques
_version_	1716452818267668480

Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques

Similar Items