Semantique Operationnelle
L’idee de la semantique operationnelle est de decrire la signification d’un programme en executant ses instructions sur une machine reelle ou simulee. Les changements qui prennent place dans le statut de la machine lorsqu’elle execute ces instructions represente la signification de cette instruction.
Pour construire une machine simulee idealisee, il faut deux composantes: un traducteur qui traduit le language L en language de bas-niveau et une machine virtuelle dont le statut change lorsque le code de bas-niveau est execute.
La semantique operationelle est effective. Neanmoins, elle n’est pas formelle et peut creer des circularites.