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.

Sommaire

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.
Ce document provient de « S%C3%A9mantique d%C3%A9notationnelle ».

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


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.