Semantique denotationnelle
- Semantique denotationnelle
-
Sémantique dénotationnelle
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.
Voir aussi
Articles connexes
Liens externes
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.
- Glynn Winskel, The Formal Semantics of Programming Language, MIT Press, Cambridge, Massachusetts, 1993.
Catégories : Informatique théorique | Sémantique | Méthode formelle
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Semantique denotationnelle de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Sémantique dénotationnelle — 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… … Wikipédia en Français
Semantique des langages de programmation — Sémantique des langages de programmation En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Sommaire 1 Lien avec la… … Wikipédia en Français
Semantique axiomatique — Sémantique axiomatique La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves … Wikipédia en Français
Semantique operationnelle — Sémantique opérationnelle En informatique, la sémantique opérationnelle est l une des approches qui servent à donner une signification aux programmes informatiques d une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages… … Wikipédia en Français
Sémantique des langages de programmation — En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Sommaire 1 Lien avec la linguistique 2 Sémantiques usuelles d’un… … Wikipédia en Français
Sémantique axiomatique — La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves … Wikipédia en Français
Sémantique opérationnelle — En informatique, la sémantique opérationnelle est l une des approches qui servent à donner une signification aux programmes informatiques d une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages de programmation). Une… … Wikipédia en Français
Continuation — Sur les autres projets Wikimedia : « Continuation », sur le Wiktionnaire (dictionnaire universel) En informatique, la continuation d un système désigne son futur, c est à dire la suite des instructions qu il lui reste à exécuter à… … Wikipédia en Français
Christopher Strachey — (né le 16 novembre 1916, décédé le 18 mai 1975) est un informaticien britannique. Il a fait ses études à la Gresham s School et à l Université de Cambridge. Strachey est surtout connu comme l un des premiers à avoir prôné une approche… … Wikipédia en Français
Theorie des domaines — Théorie des domaines La théorie des domaines est une branche des mathématiques dont le principal champ d application se trouve en informatique théorique. Cette partie de la théorie des ensembles ordonnés a été introduite par Dana Scott pendant… … Wikipédia en Français
