En 1950 John Backus dirigió una investigación en IBM sobre un lenguaje algebraico.