John Backus lideró el equipo de IBM que desarrolló Fortran, el primer lenguaje de programación de alto nivel ampliamente utilizado que transformó la forma en que los humanos interactuaban con las primeras computadoras. Nacido en Filadelfia en 1924, su carrera abarcó más de cuatro décadas en IBM, donde influyó tanto en la aplicación práctica del código como en las estructuras matemáticas formales que definen la sintaxis de programación moderna.
Servicio militar y educación temprana
Antes de su paso por IBM, Backus recorrió un camino académico inconexo. Asistió a The Hill School y más tarde a la Universidad de Virginia, donde la mala asistencia llevó a su expulsión. Durante la Segunda Guerra Mundial, sirvió en el Ejército de los Estados Unidos, comandando una batería antiaérea. Las pruebas de aptitud militar provocaron su traslado a estudios de ingeniería en la Universidad de Pittsburgh y a un programa pre-médico en Haverford College. Tras abandonar la facultad de medicina y someterse a una cirugía para reemplazar una placa ósea craneal, fue dado de baja en 1946.
Fortran e innovación en IBM
Backus se unió a IBM en 1950 después de obtener títulos de grado y maestría en matemáticas en la Universidad de Columbia. Su trabajo inicial incluyó el cálculo de posiciones lunares para la Calculadora Electrónica de Secuencia Selectiva. En 1953, desarrolló Speedcoding, un precursor de su logro más significativo: Fortran. Introducido para facilitar el desarrollo de software en la IBM 704, Fortran evitó la necesidad de un conocimiento profundo de la arquitectura de la máquina, estableciendo un estándar de alto nivel que permitió a los científicos utilizar las computadoras como herramientas prácticas.
Notación formal y estándares algorítmicos
Tras su trabajo en Fortran, Backus contribuyó al desarrollo de ALGOL 58 y ALGOL 60. Para resolver las complejidades en la definición de la sintaxis de estos lenguajes, creó la forma Backus-Naur (BNF). Esta notación proporcionó un método formal y consistente para describir gramáticas libres de contexto, convirtiéndose en una característica estándar en el desarrollo de compiladores. Su trabajo en la definición de estos procedimientos formales fue una justificación principal para recibir el Premio Turing de la ACM en 1977.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Investigación a nivel de función
Más adelante en su carrera, Backus se centró en el paradigma de programación a nivel de función. Introdujo el lenguaje FP, que detalló en su conferencia del Premio Turing de 1977, criticando el estilo tradicional de programación de von Neumann. Su proyecto final, FL, tenía como objetivo desarrollar estos conceptos aún más dentro de IBM. Aunque estos lenguajes tuvieron una implementación limitada en comparación con Fortran, influyeron en la investigación continua sobre programación funcional y el diseño de lenguajes posteriores como J.
Datos rápidos
- Nacimiento: 1924, Filadelfia - Fallecimiento: 2007, Ashland - Educación: Universidad de Virginia, Universidad de Columbia - Invento clave: Fortran - Formalismo: Forma Backus-Naur (BNF) - Empleo en IBM: 1950–1991 - Premio mayor: Premio Turing de la ACM (1977) - Lugar de descanso final: Columbario de San Francisco
Preguntas frecuentes
### ¿Cuál fue la importancia de la forma Backus-Naur?
Proporcionó una notación formal para definir la sintaxis de los lenguajes de programación, convirtiéndose en un estándar mundial para la publicación de algoritmos.
### ¿Creó John Backus algún lenguaje después de Fortran?
Sí, desarrolló lenguajes de programación a nivel de función, incluidos FP y su sucesor, FL, durante la última parte de su carrera.
