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é.
Analyse sémantique
En compilation, l'analyse sémantique est la phase intervenant après l'analyse syntaxique et avant la génération de code. Elle effectue les vérifications nécessaires à la sémantique du langage de programmation considéré, ajoute des informations à l'arbre syntaxique abstrait et construit la table des symboles. Les vérifications réalisées par cette analyse sont :