Semantique Denotationnelle
La semantique denotationnelle est la methode la plus rigoureuse de description semantique des programmes.
L’idee consiste a definir, pour chaque entite du language, un objet mathematique et une fonction qui attache les instances de cette entite aux instances de l’objet mathematique corrspondant.
Comme pour la semantique operationelle, le statut d’une machine idealisee (en fait la valeur des variables) represente la signification d’une instruction
La difficulte de cette methode est dans la creation d’objets et de fonctions pour ces objets. La notation est aussi difficile a lire quoi que tres concise.