Dans la logique, la sémantique formelle et des parties de la linguistique, l'extension d'un terme en informatique, la sémantique dénotationnelle est comparée à la sémantique opérationnelle.
Dans le domaine de l'informatique, la sémantique denotationnelle est comparée à la sémantique opérationnelle.