John backus

PROCESADORES DE LENGUAJE II
Comentario de texto sobre el artículo de John Backus.
Can programming be liberated fron the Von Neumann Style? A functional style and its algebra of programs.
John Backusfue un informático estadounidense ganador del premio Turing en 1977 debido a que fue una de las figuras centrales en la creación de FORTRAN y a la elaboración de la BNF (Backus Naur Form o BackusNormal Form), un método formal para especificar la sintaxis del lenguaje de programación. Sin embargo, en su conferencia de 1977 Backus se apartó del mundo que había ayudado a formar y formuló lasiguiente pregunta: ¿ Puede la programación ser liberada del estilo de Von Neumann?
En ella Backus describe como el estilo de Von Neumman afecta y prevalece sobre los estilos de programación. Backus mencionaque resumiendo los conceptos y el estilo de Von Neumann una computadora está formada por tres partes: una unidad de procesamiento CPU, una unidad de almacenamiento (storage) y una conexión entreambas. A esta conexión la referenciaba como un tubo conector capaz de transmitir y enviar una palabra (Word) entre la CPU y el storage. Backus indicó que la tarea de un programa era cambiar el contenidodel almacenamiento, por lo que este tubo o conexión era un cuello de botella, ya que la información siempre debe de pasar por él para realizar cualquier acción. Basandose fundamentalmente en estecuello de botella (bottleneck) argumentó esta conferencia.
Backus indicaba que seguramente habría alguna otra manera, menos primitiva como él comentaba, de guardar los cambios en el almacenamiento quellevando la palabra (Word) hacia y desde la storage y la CPU. En dicha conferencia argumentaba que dicho cuello de botella no sólo era en la máquina, sino que abarcaba a la manera de pensar de losinformáticos y programadores.
Backus propone un enfoque diferente del estilo de Von Neumann: Un estilo funcional, en el que deje de lado el concepto de variables y datos separados de los procedimientos y...