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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1982
|
| Subjects: | |
| 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 |