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
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00305348 |
| Date | 21 September 1982 |
| Creators | Soler, Roger |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.002 seconds