| |
Nombre des articles dans cette liste : 1
|
|
 |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
 |
|
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.
|
|
|
|
|
| |
|
|
- Le texte et les visuels inclus dans ce cadre sont sous licence de documentation libre GNU (GFDL) - |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(c) Copyright 2012 123hop.net
|
|
|
|
Paiement sécurisé
|
|
via
|
|
|
|
|
|
|
|
|
|
|
|
|
