Die Semantik in der Informatik bezieht sich auf die Bedeutung der verschiedenen Elemente in einem Programmcode. Während die Syntax die Form der Programmieranweisungen definiert, bestimmt die Semantik die Aktionen, die durch diese Anweisungen ausgeführt werden sollen. Semantische Fehler treten auf, wenn ein Programm technisch korrekt ist (d.h., es befolgt die Syntax), aber nicht das tut, was der Entwickler beabsichtigt hat, etwa aufgrund eines Logikfehlers.

Mehr dazu hier.