Sémantique dénotationnelle
Un article de Wikipédia, l'encyclopédie libre.
En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle.
Cette discipline a été introduite par Christopher Strachey et Dana Scott.
En général, la sémantique dénotationnelle utilise des techniques de programmation fonctionnelle pour décrire les langages informatiques, les architectures et les programmes. Les mathématiques utilisées en sémantique dénotationnelle font partie de ce qu'on appelle maintenant la théorie des domaines.
Sommaire |
[modifier] Voir aussi
[modifier] Articles connexes
- Transformation de programmes
- Théorie des types
- Sémantique des langages de programmation
[modifier] Liens externes
- (en) http://www.csse.monash.edu.au/~lloyd/tilde/Semantics/
- (en) http://www.risc.uni-linz.ac.at/people/schreine/courses/densem/densem.html
[modifier] Références
- C. Livercy, Théorie des programmes, Dunod, Paris, 1978.
- Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics, MIT Press, Cambridge, Massachusetts, 1977.
- Glinn Winskel, The Formal Semantics of Programming Language, MIT Press, Cambridge, Massachusetts, 1993.
