Un lenguaje de programación, con su sintaxis formal y las reglas de demostración que define su semántica, es un sistema formal para el cual la ejecución del programa provee solamente un modelo.

Más de Edsger Dijkstra

• Es prácticamente imposible enseñar programación correctamente a estudiantes que han estado expuestos al lenguaje BASIC con anterioridad. Como potenciales programadores, tienen la mente mutilada sin esperanza alguna de regeneración.

• La ciencia de la computación no trata sobre las computadoras más de lo que la astronomía trata sobre los telescopios.

• La pregunta de si un computador puede pensar no es más interesante que la pregunta de si un submarino puede nadar.

• No es tarea de la Universidad ofrecer lo que la sociedad le pide, sino lo que la sociedad necesita.