John Backus - John Backus

Este artigo é sobre o cientista da computação. Para o físico, consulte John Backus (acústico) . Para o ministro, consulte John Chester Backus .

John Backus
John Backus 2.jpg
Backus em dezembro de 1989
Nascer
John Warner Backus

( 1924-12-03 )3 de dezembro de 1924
Filadélfia, Pensilvânia
Faleceu 17 de março de 2007 (17/03/2007)(com 82 anos)
Ashland, Oregon
Alma mater University of Virginia
University of Pittsburgh
Columbia University (BS 1949, MS 1950)
Conhecido por Codificação de velocidade
FORTRAN
ALGOL
Backus – Naur form
Programação em nível de função
Cônjuge (s)
Marjorie Jamison
​
​
( M.  1947⁠-⁠1966)

Bárbara Una
​
​
( M.  1968; morreu 2004)
Crianças 2
Prêmios Medalha Nacional de Ciência (1975)
Prêmio Turing (1977)
Prêmio Charles Stark Draper (1993)
Carreira científica
Campos Ciência da Computação
Instituições IBM

John Warner Backus (3 de dezembro de 1924 - 17 de março de 2007) foi um cientista da computação americano . Ele dirigiu a equipe que inventou e implementou FORTRAN , a primeira linguagem de programação de alto nível amplamente usada , e foi o inventor da forma Backus – Naur (BNF), uma notação amplamente usada para definir a sintaxe de linguagem formal . Mais tarde, ele fez pesquisas sobre o paradigma de programação em nível de função , apresentando suas descobertas em sua influente palestra do Prêmio Turing de 1977 "A programação pode ser libertada do estilo de von Neumann?

O IEEE concedeu à Backus o prêmio WW McDowell em 1967 pelo desenvolvimento do FORTRAN. Ele recebeu a Medalha Nacional de Ciência em 1975 e o Prêmio Turing de 1977 "por contribuições profundas, influentes e duradouras para o projeto de sistemas de programação de alto nível práticos, notadamente por meio de seu trabalho em FORTRAN e pela publicação de procedimentos formais para a especificação de linguagens de programação ".

Ele se aposentou em 1991 e morreu em sua casa em Ashland, Oregon, em 17 de março de 2007.

Vida pregressa

Backus nasceu na Filadélfia e cresceu na vizinha Wilmington, Delaware . Ele estudou na The Hill School em Pottstown, Pensilvânia , e aparentemente não era um aluno diligente. Ele entrou na faculdade na Universidade da Virgínia para estudar química , mas teve dificuldades com suas aulas lá e foi expulso em menos de um ano por falta de frequência. Ele foi posteriormente convocado para o Exército dos Estados Unidos durante a Segunda Guerra Mundial e, eventualmente, chegou a ocupar o posto de cabo, sendo colocado no comando de uma bateria antiaérea estacionada em Fort Stewart , Geórgia .

Depois de receber notas altas em um teste de aptidão militar, o Exército o enviou para estudar engenharia na Universidade de Pittsburgh . Mais tarde, ele foi transferido para um programa pré-médico no Haverford College . Durante um internamento em um hospital, ele foi diagnosticado com um tumor de osso craniano , que foi removido com sucesso, e uma placa foi instalada em sua cabeça. Ele então se mudou para a Flower and Fifth Avenue Medical School para estudar medicina, mas achou isso desinteressante e desistiu após nove meses. Ele logo passou por uma segunda operação para substituir a placa de metal em sua cabeça por uma de sua própria autoria e recebeu uma dispensa médica honrosa do Exército dos Estados Unidos em 1946.

Fortran

Depois de se mudar para a cidade de Nova York, ele treinou inicialmente como técnico de rádio e se interessou por matemática. Ele se formou na Columbia University com bacharelado em 1949 e mestrado em 1950, ambos em matemática, e ingressou na IBM em 1950. Durante seus primeiros três anos, ele trabalhou na Calculadora Eletrônica de Seqüência Seletiva (SSEC) ; seu primeiro grande projeto foi escrever um programa para calcular as posições da lua . Em 1953, Backus desenvolveu a linguagem Speedcoding , a primeira linguagem de alto nível criada para um computador IBM, para auxiliar no desenvolvimento de software para o computador IBM 701 .

Programar era muito difícil nessa época e, em 1954, Backus montou uma equipe para definir e desenvolver o Fortran para o computador IBM 704 . Fortran foi a primeira linguagem de programação de alto nível a ser amplamente utilizada.

Forma Backus – Naur

Artigo principal: formulário Backus – Naur

Backus atuou nos comitês internacionais que desenvolveram o ALGOL 58 e o muito influente ALGOL 60 , que rapidamente se tornou o padrão mundial de fato para algoritmos de publicação . Backus desenvolveu o formulário Backus – Naur (BNF), publicado no relatório da UNESCO sobre o ALGOL 58. Era uma notação formal capaz de descrever qualquer linguagem de programação livre de contexto e era importante no desenvolvimento de compiladores . Alguns desvios dessa abordagem foram tentados - notavelmente em Lisp e APL - mas na década de 1970, após o desenvolvimento de geradores de compiladores automatizados como yacc , as especificações livres de contexto Backus-Naur para linguagens de computador se tornaram bastante padronizadas. Essa contribuição ajudou Backus a ganhar o Prêmio Turing em 1977.

Programação em nível de função

Backus mais tarde trabalhou em uma linguagem de programação de nível de função conhecida como FP , que foi descrita em sua palestra do Prêmio Turing "A programação pode ser liberada do estilo de von Neumann ?". Às vezes visto como um pedido de desculpas de Backus por criar o Fortran, este artigo fez menos para atrair o interesse na linguagem FP do que para estimular a pesquisa sobre programação funcional em geral. Quando Backus divulgou o estilo de programação em nível de função, sua mensagem foi geralmente mal interpretada como sendo a mesma das linguagens de estilo de programação funcional tradicional.

FP foi fortemente inspirado por Kenneth E. Iverson da APL , mesmo usando um não-padrão conjunto de caracteres . Um intérprete FP foi distribuído com o sistema operacional 4.2BSD Unix , mas houve relativamente poucas implementações da linguagem, a maioria das quais foi usada para fins educacionais.

Backus passou a última parte de sua carreira desenvolvendo FL (de "Nível de Função"), um sucessor de FP. FL era um projeto de pesquisa interno da IBM e o desenvolvimento da linguagem parou quando o projeto foi concluído. Restam apenas alguns papéis que o documentam, e o código-fonte do compilador descrito neles não foi divulgado. FL estava em desacordo com as linguagens de programação funcional que estavam sendo desenvolvidas na década de 1980, a maioria das quais eram baseadas no cálculo lambda e em sistemas de tipagem estática em vez de, como no APL, a concatenação de operações primitivas. Muitas das ideias da linguagem agora foram implementadas em versões da linguagem de programação J , a sucessora de Iverson para APL.

Premios e honras

Veja também

Referências

links externos