Nacimiento |
3 de diciembre de 1924 Filadelfia |
---|---|
Muerte |
17 de marzo de 2007(en 82) Ashland |
Nacionalidad | americano |
Capacitación |
Universidad de Columbia Universidad de Virginia |
Ocupaciones | Matemático , informático |
Trabajé para | IBM |
---|---|
Campo | Ciencias de la Computación |
Miembro de |
Academia Estadounidense de Ciencias Academia Estadounidense de Artes y Ciencias |
Armado | Armada de Estados Unidos |
Conflicto | Segunda Guerra Mundial |
Premios |
Premio Turing (1977) |
Archivos guardados por | Museo de Historia de la Computación |
Codificación rápida ( d ) |
Casi desambiguación : no debe confundirse con John Bacus , gerente de producto de software Sketchup
John Warner Backus (nacido en Filadelfia el3 de diciembre de 1924 - murió en Ashland (Oregon) el 17 de marzo de 2007) es un científico informático estadounidense. Es el director del equipo que por primera vez utiliza un lenguaje de programación de alto nivel, y es el creador del formulario Backus-Naur (BNF). También ha realizado una extensa investigación sobre programación funcional , que ayudó a popularizar.
Recibió el Premio Turing en 1977 por "su influencia y contribución al desarrollo de lenguajes de programación de alto nivel, en particular a través de su trabajo en FORTRAN, y por la publicación de procedimientos formales utilizados para la especificación de lenguajes de programación".
Se jubiló en 1991 y murió en su casa en Ashland , Oregon el17 de marzo de 2007.
Backus nació en Filadelfia , Pensilvania . Estudia en The Hill School en Pottstown , Pensilvania , pero no es exactamente un buen estudiante. Después de ingresar a la Universidad de Virginia para estudiar química, fue reclutado por el Ejército de los Estados Unidos. Los resultados de sus pruebas de aptitud lo llevaron a una carrera médica. Luego estudió medicina en Harverford y luego trabajó en el hospital de Atlantic City . Allí le diagnosticaron un tumor cerebral, que posteriormente fue extirpado con éxito. Poco después, decide terminar sus estudios de medicina.
Después de llegar a Nueva York , comenzó a formarse como técnico de radio. Al ayudar a su maestro a realizar ciertos cálculos, Backus descubrió su interés por las matemáticas. En 1949, obtuvo una maestría de la Universidad de Columbia, luego se unió a IBM en 1950. Los primeros tres años, trabajó en la SSEC ( Calculadora Electrónica de Secuencia Selectiva ). Su primer gran proyecto es escribir un programa para calcular la trayectoria de la Luna.
En 1953 , Backus descubrió el IBM 701 , el sucesor del SSEC. Luego se enfrenta al mismo problema que con SSEC: realizar cálculos científicos que requieren el uso de números de punto flotante, mientras que el IBM 701 solo admite números enteros aritméticos. Para aliviar el problema, Backus desarrolla el sistema Speedcoding, que permite que el programa utilice un sistema numérico de punto flotante simple.
En 1953 , todavía existe ningún lenguaje de programación real, como se concibió a principios del XXI ° siglo. La mayoría de los programas están escritos manualmente en lenguaje de máquina o usando un ensamblador primitivo. Por supuesto, existe el sistema Backus, Speedcoding , pero el enfoque no es el correcto y el resultado es muy lento. La llegada del IBM 704 ese mismo año cambiará las reglas del juego. Además del hecho de que es más eficiente que su predecesor, tiene un procesador que admite directamente números de punto flotante. Por lo tanto, un sistema como Speedcoding se vuelve innecesario.
Después de pasar un año describiendo la sintaxis y el funcionamiento de Fortran, Backus presentó el proyecto a sus superiores en noviembre de 1954 , en el informe titulado Especificaciones para el sistema de traducción de fórmulas matemáticas de IBM FORTRAN . Luego, el equipo de Backus tardó más de dos años en desarrollar el compilador FORTRAN , operativo a principios de 1957.
A finales de la década de 1950, trabajó con el comité internacional responsable del desarrollo de ALGOL 58 y el muy influyente ALGOL 60 , que muy rápidamente se convirtió en el estándar para la descripción de algoritmos por parte de los investigadores informáticos, un estatus que mantendría durante mucho tiempo. .
En el momento del desarrollo de Algol, Backus está trabajando en una nueva herramienta para expresar una gramática formal para un lenguaje de programación. Presentó su trabajo al comité, La sintaxis y semántica del lenguaje algebraico internacional propuesto de la conferencia ACM-GAMM de Zurich , enJunio de 1959. Peter Naur, otro miembro del comité, se interesó en el trabajo de Backus e hizo algunos cambios. El BNF (Backus Naur Form en lugar de Backus Normal Form) se utiliza luego para la descripción de ALGOL 60 en 1960.
Posteriormente, trabajó en un lenguaje de programación puramente funcional ("nivel de función": a nivel funcional) conocido como FP. Backus elige presentar este idioma durante su discurso en el Premio Turing .
Este discurso, “ ¿Se puede liberar la programación del estilo von Neumann? : un estilo funcional y su álgebra de programas ”(“ ¿Puede la programación escapar al estilo de von Neumann? Un estilo funcional y su álgebra de programas ”), que presenta las ventajas de la programación funcional, ha contribuido en gran medida a revivir el interés en este paradigma. Un intérprete FP se distribuye con la versión 4.2 del sistema operativo BSD Unix, pero Backus nunca logrará difundir su lenguaje.
Backus pasó el resto de su carrera desarrollando FL (desde el “nivel de función”), un sucesor de FP.