Sémantique opérationnelle
- 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.
|
Informatique théorique |
| Théorie du calcul |
|
| Logique, syntaxe et sémantique |
|
| Algorithmique, complexité et mathématiques discrètes |
|
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Sémantique opérationnelle de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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
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
