sémantique dénotationnelle
- Domaines
-
- informatique langage de programmation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Méthode de définition de sémantique formelle dans laquelle la signification d'un programme, dans un langage particulier, est donnée par une fonction d'évaluation qui associe une valeur arbitraire (un nombre, un uplet, une valeur de vérité) à toute construction syntaxiquement correcte de ce langage.
Terme privilégié :
- sémantique dénotationnelle n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- denotational semantics