La semántica en programación no debe confundirse con la sintaxis, que se refiere a la forma en que se expresa o escribe un programa. En términos generales, es más fácil verificar y solucionar problemas de sintaxis que de semántica, ya que probar todas las condiciones posibles en las que se podría ejecutar un programa es imposible.
Conviene tener en cuenta que, en algunos casos, la semántica no podrá determinarse en tiempo de compilación y, por lo tanto, deberá evaluarse en tiempo de ejecución.