Sémantique
La sémantique est l'étude mathématique rigoureuse de la signification des langages et langues en général et des langages de programmation, en particulier.
Pour ce faire, il évalue la signification de chaînes syntaxiquement valables définies par un langage de programmation spécifique, montrant le calcul impliqué. Dans le cas où l'évaluation serait constituée de chaînes syntaxiquement non valides, le résultat serait un non-calcul. La sémantique décrit les processus suivis par l’ordinateur lors de l'exécution d'un programme dans ce langage spécifique. Cela peut être démontré en décrivant la relation entre l'entrée et la sortie d'un programme, ou une explication de la façon dont le programme sera exécuté sur une certaine plateforme, créant ainsi un modèle de calcul.
La sémantique formelle, par exemple, permet d’écrire des compilateurs, de mieux comprendre ce que fait un programme et de prouver, par exemple, que l’instruction if suivante
si 1 == 1 alors S1 sinon S2
a le même effet que S1 seul.
