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:指称语义]]