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
Ainsi on peut hiérarchiser les sémantiques en disant qu’une sémantique est l’"abstraction" d’une autre si et seulement si deux programmes équivalents dans la dernière le sont aussi dans la première. Ces relations ont été formalisées par la théorie de l’interprétation abstraite.