Semantik

Während die Syntax einer Sprache die Gestalt korrekt geformter Sätze der Sprache beschreibt, legt die Semantik der Sprache die Bedeutung der syntaktisch korrekten Sätze fest.In Bezug auf Programme spezifiziert die Semantik eines Programms, was bei Ausführung des Programms passieren soll.