Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un "sens" dans la communication (langagière particulièrement). Le support de la sémantique, la syntaxe, concerne pour sa part le signifiant, sa morphologie, sa langue, sa graphie, sa grammaire ; c'est la forme de l'énoncé.
Sémantique des langages de programmation
Initiée par Christopher Strachey et Dana Scott, la sémantique dénotationnelle est une approche dans laquelle une fonction mathématique appelée "dénotation" est associée à chaque programme, et représente en quelque sorte son effet, sa signification. Cette fonction prend par exemple pour argument l’état de la mémoire avant exécution, et a pour résultat l’état après exécution.