comprobación estática

Comprobación automatizada durante la compilación que puede detectar un error en función de la semántica del código.