John Backus - John Backus

John Backus
John Backus 2.jpg
Backus en diciembre de 1989
Nació
John Warner Backus

( 03/12/1924 )3 de diciembre de 1924
Murió 17 de marzo de 2007 (2007-03-17)(82 años)
alma mater Universidad de Virginia
Universidad de Pittsburgh Universidad de
Columbia (BS 1949, MS 1950)
Conocido por Codificación rápida
FORTRAN
ALGOL
Forma Backus – Naur
Programación a nivel de función
Esposos)
Marjorie Jamison
( M.  1947⁠-⁠1966)

Barbara Una
( . M  1968; murió 2004)

Niños 2
Premios Medalla Nacional de Ciencias (1975)
Premio Turing (1977)
Premio Charles Stark Draper (1993)
Carrera científica
Los campos Ciencias de la Computación
Instituciones IBM

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 la sintaxis del lenguaje formal . Más tarde hizo una investigación sobre el paradigma de la programación a nivel de función , presentando sus hallazgos en su influyente conferencia del Premio Turing de 1977 "¿Se puede liberar la programación del estilo von Neumann?

El IEEE otorgó a Backus el premio WW McDowell en 1967 por el desarrollo de FORTRAN. Recibió la Medalla Nacional de la Ciencia en 1975 y el Premio Turing de 1977 "por contribuciones profundas, influyentes y duraderas al diseño de sistemas prácticos de programación de alto nivel, especialmente a través de su trabajo en FORTRAN, y por la publicación de procedimientos formales para la especificación de lenguajes de programación ".

Se jubiló en 1991 y murió en su casa de Ashland, Oregon, el 17 de marzo de 2007.

Vida temprana

Backus nació en Filadelfia y creció en las cercanías de Wilmington, Delaware . Estudió en The Hill School en Pottstown, Pensilvania , y aparentemente no era un estudiante diligente. Ingresó a la universidad en 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. Posteriormente fue reclutado en el ejército de los EE. UU. Durante la Segunda Guerra Mundial , y finalmente llegó a ocupar el rango de cabo, al mando de una batería antiaérea estacionada en Fort Stewart , Georgia .

Después de recibir altas calificaciones en una prueba de aptitud militar, el Ejército lo envió a estudiar ingeniería en la Universidad de Pittsburgh . Más tarde se trasladó a un programa pre-médico en Haverford College . Durante una pasantía en un hospital, le diagnosticaron un tumor de hueso craneal , que fue extirpado con éxito y le colocaron una placa en la cabeza. Luego se mudó a la Escuela de Medicina Flower and Fifth Avenue para la escuela de medicina, pero no le pareció interesante y la abandonó después de nueve meses. Pronto se sometió a una segunda operación para reemplazar la placa de metal en su cabeza con una de su propio diseño, y recibió una baja médica honorable del Ejército de los EE. UU. En 1946.

Fortran

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, 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 .

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.

Forma Backus-Naur

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 los algoritmos de publicación . Backus desarrolló el formulario Backus-Naur (BNF), publicado 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 era importante en el desarrollo de compiladores . Se probaron algunas desviaciones de este enfoque, especialmente en Lisp y APL, pero en la década de 1970, tras el desarrollo de generadores de compiladores automatizados como yacc , las especificaciones sin contexto de Backus-Naur para lenguajes de computadora se habían vuelto bastante estándar. Esta contribución ayudó a Backus a ganar el Premio Turing en 1977.

Programación a nivel de función

Posteriormente, Backus trabajó en un lenguaje de programación a nivel de función conocido como FP , que se describió en su conferencia del Premio Turing "¿Se puede liberar la programación del estilo von Neumann ?". A veces visto como la disculpa de Backus por la creación de Fortran, este artículo hizo menos para generar interés en el lenguaje FP que para impulsar la investigación sobre la programación funcional en general. Cuando Backus publicitó el estilo de programación a nivel de función, su mensaje fue malinterpretado en su mayoría como el mismo que el de los lenguajes de estilo de programación funcional tradicionales.

FP se inspiró fuertemente en el APL de Kenneth E. Iverson , incluso usando un conjunto de caracteres no estándar . Se distribuyó un intérprete FP con el sistema operativo 4.2BSD Unix , 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 (desde "Function Level"), un sucesor de FP. FL era un proyecto de investigación interno de IBM y el desarrollo del lenguaje se detuvo cuando se terminó el proyecto. Solo quedan unos pocos artículos 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 funcional que se desarrollaron en la década de 1980, la mayoría de los cuales se basaban en el cálculo lambda y los sistemas de tipificación estática en lugar de, como en APL, la concatenación de operaciones primitivas. Muchas de las ideas del lenguaje se han implementado ahora en versiones del lenguaje de programación J , sucesor de Iverson a APL.

Premios y honores

Ver también

Referencias

enlaces externos