John Warner Backus (3 de diciembre de 1924 - 17 de marzo de 2007) fue un informático estadounidense . Dirigió el equipo que inventó e implementó FORTRAN , el primer lenguaje de programación de alto nivel ampliamente utilizado , y fue el inventor de la forma Backus-Naur (BNF), una notación ampliamente utilizada para definir sintaxis de lenguajes formales . Más tarde investigó el paradigma de programación a nivel de función y presentó sus hallazgos en su influyente conferencia del Premio Turing de 1977 "¿Se puede liberar la programación del estilo von Neumann?" [1]
El IEEE otorgó a Backus el premio WW McDowell en 1967 por el desarrollo de FORTRAN. [2] Recibió la Medalla Nacional de Ciencias en 1975 [3] y el Premio Turing de 1977 "por sus contribuciones profundas, influyentes y duraderas al diseño de sistemas prácticos de programación de alto nivel, en particular a través de su trabajo en FORTRAN, y por su publicación. de procedimientos formales para la especificación de lenguajes de programación". [4]
John Backus se jubiló en 1991. Murió en su casa de Ashland, Oregón, el 17 de marzo de 2007. [5]
Backus nació en Filadelfia y creció en la cercana Wilmington, Delaware . [6] Estudió en The Hill School en Pottstown, Pensilvania , pero aparentemente no era un estudiante diligente. [5] Ingresó a la Universidad de Virginia para estudiar química , pero tuvo problemas con sus clases allí y fue expulsado después de menos de un año por mala asistencia. [7] Posteriormente fue reclutado en el ejército estadounidense durante la Segunda Guerra Mundial , [5] y finalmente llegó a ostentar el rango de cabo, siendo puesto al mando de una batería antiaérea estacionada en Fort Stewart , Georgia . [7]
Después de recibir altas puntuaciones en una prueba de aptitud militar, el Ejército lo envió a estudiar ingeniería en la Universidad de Pittsburgh . [7] Más tarde se transfirió a un programa pre-médico en Haverford College . [8] Durante una pasantía en un hospital, le diagnosticaron un tumor en el hueso craneal , que fue extirpado con éxito y le instalaron una placa en la cabeza. Luego se mudó a la Facultad de Medicina de Flower y Fifth Avenue para estudiar medicina, pero la encontró poco interesante y la abandonó después de nueve meses. [7] Pronto se sometió a una segunda operación para reemplazar la placa de metal en su cabeza con una de su propio diseño, [9] y recibió una baja médica honorable del ejército de los EE. UU. en 1946. [7]
Después de mudarse a la ciudad de Nueva York, se formó inicialmente como técnico de radio y se interesó por las matemáticas. Se graduó de la Universidad de Columbia con una licenciatura en 1949 y una maestría en 1950, ambas en matemáticas, [7] [10] y se unió a IBM en 1950. Durante sus primeros tres años, trabajó en la Calculadora Electrónica de Secuencia Selectiva (SSEC). ) ; Su primer gran proyecto fue escribir un programa para calcular las posiciones de la Luna . En 1953, Backus desarrolló el lenguaje Speedcoding , el primer lenguaje de alto nivel creado para una computadora IBM, para ayudar en el desarrollo de software para la computadora IBM 701 . [11]
La programación era muy difícil en ese momento y en 1954 Backus reunió un equipo para definir y desarrollar Fortran para la computadora IBM 704 . Fortran fue el primer lenguaje de programación de alto nivel que se utilizó ampliamente. Este lenguaje ampliamente utilizado hizo que las computadoras fueran máquinas prácticas y accesibles para los científicos y otras personas sin exigirles que tuvieran un conocimiento profundo de la maquinaria. [12]
Backus formó parte de los comités internacionales que desarrollaron ALGOL 58 y el muy influyente ALGOL 60 , que rápidamente se convirtió en el estándar mundial de facto para la publicación de algoritmos . Backus desarrolló la forma Backus-Naur (BNF), publicada en el informe de la UNESCO sobre ALGOL 58. Era una notación formal capaz de describir cualquier lenguaje de programación libre de contexto y fue importante en el desarrollo de compiladores . Se intentaron algunas desviaciones de este enfoque (notablemente en Lisp y APL ), pero en la década de 1970, las especificaciones libres de contexto Backus-Naur para lenguajes informáticos se habían vuelto bastante estándar, tras el desarrollo de generadores de compiladores automatizados como yacc .
Esta contribución ayudó a Backus a ganar el Premio Turing en 1977.
Más tarde, Backus trabajó en un lenguaje de programación a nivel de función conocido como FP , que fue descrito en su conferencia del Premio Turing "¿Se puede liberar la programación del estilo von Neumann ?". [1] A veces visto como una disculpa de Backus por la creación de Fortran, este artículo hizo menos para generar interés en el lenguaje FP que para provocar la investigación sobre la programación funcional en general. Cuando Backus publicó el estilo de programación a nivel de función, su mensaje fue en su mayoría malinterpretado [13] como el mismo que el de los lenguajes de estilo de programación funcional tradicionales.
FP se inspiró fuertemente en APL de Kenneth E. Iverson , incluso utilizando un conjunto de caracteres no estándar . Se distribuyó un intérprete de FP con el sistema operativo Unix 4.2BSD , pero hubo relativamente pocas implementaciones del lenguaje, la mayoría de las cuales se utilizaron con fines educativos.
Backus pasó la última parte de su carrera desarrollando FL (de "Function Level"), un sucesor de FP. FL era un proyecto de investigación interno de IBM y el desarrollo del lenguaje se detuvo cuando finalizó el proyecto. Sólo quedan unos pocos documentos que lo documentan y el código fuente del compilador descrito en ellos no se hizo público. FL estaba en desacuerdo con los lenguajes de programación funcionales que se desarrollaron en la década de 1980, la mayoría de los cuales se basaban en el cálculo lambda y sistemas de tipificación estática en lugar de, como en APL, la concatenación de operaciones primitivas. Muchas de las ideas del lenguaje ahora se han implementado en versiones del lenguaje de programación J , el sucesor de APL de Iverson.
