La semántica refleja el significado de programas o funciones.