Sémantique dénotationnelle
93906
30786959
2008-06-19T11:44:43Z
134.157.168.19
typo
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 S. Scott|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]].
==Voir aussi==
===Articles connexes===
* [[Transformation de programmes]]
* [[Théorie des types]]
* [[Sémantique des langages de programmation]]
===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
== 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'', [[Massachusetts Institute of Technology|MIT]] Press, Cambridge, Massachusetts, 1977.
* Glynn Winskel, ''The Formal Semantics of Programming Language'', [[Massachusetts Institute of Technology|MIT]] Press, Cambridge, Massachusetts, 1993.
[[Catégorie:Informatique théorique]]
[[Catégorie:Sémantique]]
[[Catégorie:Méthode formelle]]
[[de:Denotationale Semantik]]
[[en:Denotational semantics]]
[[es:Semántica denotacional]]
[[hr:Denotacijska semantika]]
[[ja:表示的意味論]]
[[pt:Semântica denotacional]]
[[zh:指称语义]]