John backus

John backus Imagen en Infobox. John Backus 14 de diciembre de 1989 Biografía
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
Otras informaciones
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
Obras primarias
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.

Vida y carrera

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.

Fortran

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.

Forma Backus Naur

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.

FP y FL

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.

Referencias

  1. "  SketchUp deja el pliegue de Google para Trimble  " , en ARCH'image - Capacitación y servicios de SketchUp ,26 de abril de 2012(consultado el 10 de noviembre de 2020 ) .
  2. (in) "  Cita del premio ACM Turing: John Backus  ' ( Archivo • Wikiwix • Archive.is • Google • ¿Qué hacer? ) .
  3. (en) "  John W. Backus, 82, Fortran, Desarrollador Dies  "
  4. Cf. Jérôme Feldman y Marcel Berger ( eds. ), El progreso de las matemáticas , París, ediciones Belin, coll.  "Para la ciencia",1981, 167  p. ( ISBN  2-902918-14-3 ) , “Lenguajes de programación”, pág.  102-113
  5. IBM 701 Speedcoding System , 19 de junio de 1953.
  6. "  John Backus  " , en IBM Archives (consultado el 10 de noviembre de 2014 )

Artículos relacionados

enlaces externos

Bibliografía