In der Informatik ist Semantics die mathematische Untersuchung der Bedeutung der verschiedenen Programmiersprachen. Eine der Ideen in der Semantics der Programmierung ist, dass sprachliche Darstellungen (
Symbole) logische Ergebnisse abbilden, während Sätze und Wortgruppen verschiedene Anweisungsformate für Menschen und Maschinen interpretieren. Einfacher ausgedrückt, beschreibt die Semantik, wie verschiedene Programmiersprachen von verschiedenen Arten von Entwicklern oder maschinenlesbaren Systemen interpretiert und verwendet werden. Im Gegensatz dazu beschreibt die Syntax die Anordnung von Wörtern und Sätzen in einer Programmiersprache.