Semantique operationnelle

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 de programmation).

Une sémantique opérationnelle d'un langage de programmation particulier décrit comment chaque programme valide du langage doit être interprété en termes de suite d'états successifs de la machine. Cette suite est la signification du programme. Dans le cas d'un programme fonctionnel, l'état final d'une suite qui termine donne la valeur de retour du programme. (Dans le cas général, il peut y avoir plusieurs suites de calculs et plusieurs valeurs de retour pour un seul programme, parce que celui-ci pourrait être non-déterministe.)

Un des moyens les plus courants pour définir rigoureusement une sémantique opérationnelle est de fournir un système de transition d'états rendant compte du comportement attendu du langage considéré. Une telle définition autorise une analyse formelle du langage, permettant l'étude de relations entre les programmes. Parmi les relations importantes, on trouve : les pré-ordres de simulation et les bisimulations, qui sont très utiles dans le cadre du parallélisme.

Définir une sémantique opérationnelle au travers d'un système de transition se fait habituellement en donnant une définition inductive de l'ensemble des transitions possibles. Habituellement, cela prend la forme d'un ensemble de règles d'inférence définissant les transitions valides du système.

La sémantique opérationnelle est reliée à la sémantique dénotationnelle au travers du concept d'abstraction.

Ce document provient de « S%C3%A9mantique op%C3%A9rationnelle ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Semantique operationnelle de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • 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

  • 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 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… …   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 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

  • Opérationnelle — Opération Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. En mathématiques, les opérations sont des fonctions n aires parmi lesquelles on peut signaler les quatre opérations de base. Les opérations sont …   Wikipédia en Français

  • Semantique generale — Sémantique générale La sémantique générale, système de pensée présenté par son auteur comme « non aristotélicien », a été fondée par Alfred Korzybski après qu il ait pris conscience, au cours de la première guerre mondiale, que les… …   Wikipédia en Français

  • Sémantique Générale — La sémantique générale, système de pensée présenté par son auteur comme « non aristotélicien », a été fondée par Alfred Korzybski après qu il ait pris conscience, au cours de la première guerre mondiale, que les mécanismes de pensée qui …   Wikipédia en Français

Share the article and excerpts

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