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 dénotationnelle
La sémantique dénotationnelle permet d'affecter un sens à un programme informatique en tant que fonction au sens mathématique du terme. Par contraste avec des sémantiques opérationnelles, elle vise à fournir à la sémantique du langage de plus fortes propriétés structurelles. Un exemple symbolique est la compositionnalité : la sémantique dénotationnelle de la séquence de deux programmes est la composition de leurs sémantiques respectives.