John Backus

Da Wikipédia, a enciclopédia livre
Ir para a navegação Saltar para pesquisar

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

( 1924-12-03 )3 de dezembro de 1924
Morreu17 de março de 2007 (2007-03-17)(82 anos)
Alma materUniversidade da Virgínia
Universidade de Pittsburgh
Haverford College
Columbia University (BS 1949, MS 1950)
Conhecido porSpeedcoding
FORTRAN
ALGOL Formulário
Backus–Naur
Programação em nível de função
Cônjuge(s)
Marjorie Jamison
( m.  1947⁠–⁠1966 )

Bárbara Una
( m.  1968; falecido em 2004 )

Crianças2
PrêmiosMedalha Nacional de Ciência (1975)
Prêmio Turing (1977)
Prêmio Charles Stark Draper (1993)
Carreira científica
CamposCiência da Computação
InstituiçõesIBM

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 utilizada , e foi o inventor da forma Backus–Naur (BNF), uma notação amplamente utilizada para definir a sintaxe da linguagem formal . Mais tarde, ele pesquisou o paradigma de programação em nível de função , apresentando suas descobertas em sua influente palestra do Turing Award de 1977 "Can Programming Be Liberated from the von Neumann Style?" [1]

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

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

Início da vida

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

Depois de receber altas pontuações em um teste de aptidão militar, o Exército o enviou para estudar engenharia na Universidade de Pittsburgh . [7] Mais tarde, ele se transferiu para um programa pré-médico no Haverford College . [8] Durante um estágio em um hospital, ele foi diagnosticado com um tumor ósseo 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 a faculdade de medicina, mas achou desinteressante e desistiu depois de nove meses. [7] Ele logo passou por uma segunda operação para substituir a placa de metal em sua cabeça por uma de seu próprio projeto, [9]e recebeu uma dispensa médica honrosa do Exército dos EUA em 1946. [7]

Fortran

Depois de se mudar para Nova York, ele se formou inicialmente como técnico de rádio e se interessou por matemática. Graduou-se na Columbia University com bacharelado em 1949 e mestrado em 1950, ambos em matemática, [7] [10] e ingressou na IBM em 1950. Durante seus primeiros três anos, trabalhou na Selective Sequence Electronic Calculator (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 IBM 701computador. [11]

A programação era muito difícil nessa época e, em 1954, Backus reuniu 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

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 a publicação de algoritmos . Backus desenvolveu o formulário Backus–Naur (BNF), publicado no relatório da UNESCO sobre ALGOL 58. Era uma notação formal capaz de descrever qualquer linguagem de programação livre de contexto , e foi importante no desenvolvimento de compiladores . Alguns desvios dessa abordagem foram tentados - notadamente em Lisp e APL - mas na década de 1970, seguindo o desenvolvimento de geradores de compiladores automatizados, como yacc, Backus–Naur especificações livres de contexto para linguagens de computador tornaram-se bastante padrão. Essa contribuição ajudou Backus a ganhar o Prêmio Turing em 1977.

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

Mais tarde, Backus trabalhou em uma linguagem de programação em nível de função conhecida como FP , que foi descrita em sua palestra no Turing Award "Can Programming be Liberated from the von Neumann Style ?". [1] Às vezes visto como um pedido de desculpas de Backus pela criação do Fortran, este artigo fez menos para atrair interesse na linguagem FP do que para estimular a pesquisa em programação funcional em geral. Quando Backus divulgou o estilo de programação em nível de função, sua mensagem foi mal interpretada [12] como sendo a mesma das linguagens tradicionais de estilo de programação funcional.

FP foi fortemente inspirado pelo APL de Kenneth E. Iverson , mesmo usando um conjunto de caracteres fora do padrão . Um interpretador FP foi distribuído com o sistema operacional 4.2BSD Unix , mas havia 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 "Function Level"), um sucessor do 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 documentos documentando-o, e o código-fonte do compilador descrito neles não foi tornado público. O FL estava em desacordo com as linguagens de programação funcionais desenvolvidas na década de 1980, a maioria das quais era baseada no cálculo lambda e sistemas de tipagem estática em vez de, como no APL, a concatenação de operações primitivas. Muitas das ideias da linguagem já foram implementadas em versões da linguagem de programação J , sucessora de Iverson para APL.

Prêmios e homenagens

Veja também

Referências

  1. ^ a b Backus, John (agosto de 1978). "A programação pode ser liberada do estilo von Neumann?: um estilo funcional e sua álgebra de programas" . Comunicações da ACM . 21 (8). doi : 10.1145/359576.359579 . S2CID  16367522 .
  2. ^ a b "W. Wallace McDowell Award" . Arquivado a partir do original em 29 de setembro de 2007 . Recuperado em 15 de abril de 2008 .
  3. ^ a b "Medalha Nacional da Ciência do Presidente: John Backus" . Fundação Nacional de Ciências. Arquivado a partir do original em 29 de setembro de 2007 . Recuperado em 21 de março de 2007 .
  4. ^ a b "Citação do Prêmio ACM Turing: John Backus" . Associação de Máquinas de Computação . Arquivado a partir do original em 4 de fevereiro de 2007 . Recuperado em 22 de março de 2007 .
  5. ^ a b c Lohr, Steve (20 de março de 2007). "John W. Backus, 82, Desenvolvedor Fortran, Morre" . O New York Times . Recuperado em 21 de março de 2007 .
  6. ^ "João Backus" . A História do Projeto de Computação . Arquivado do original em 27 de abril de 2016 . Recuperado em 28 de abril de 2016 .
  7. ^ a b c d e f "John Backus - AM Turing Award Laureate" . amturing.acm.org . Arquivado do original em 19 de janeiro de 2018 . Recuperado em 4 de maio de 2018 .
  8. ^ "Inventor da Semana Arquivo John Backus" . Fevereiro de 2006. Arquivado a partir do original em 26 de outubro de 2011 . Recuperado em 25 de agosto de 2011 .
  9. ^ Grady Booch (entrevistador) (25 de setembro de 2006). "História Oral de John Backus" (PDF) . Recuperado em 17 de agosto de 2009 . {{cite web}}: |author=tem nome genérico ( ajuda )
  10. ^ "João Backus" . www.columbia.edu . Recuperado em 2 de outubro de 2021 .
  11. ^ Allen, FE (setembro de 1981). "A História da Tecnologia de Processador de Linguagem na IBM". Revista IBM de Pesquisa e Desenvolvimento . 25 (5): 535-548. doi : 10.1147/rd.255.0535 .
  12. ^ Hudak, Paul (1989). "Concepção, Evolução e Aplicação de Linguagens de Programação Funcionais". ACM Computing Surveys, Vol. 21, nº 3
  13. ^ "João Backus" . Arquivos IBM . 23 de janeiro de 2003. Arquivado a partir do original em 26 de agosto de 2011 . Recuperado em 21 de março de 2007 .
  14. ^ "Livro de Membros, 1780-2010: Capítulo B" (PDF) . Academia Americana de Artes e Ciências. Arquivado (PDF) do original em 25 de julho de 2011 . Recuperado em 28 de abril de 2011 .
  15. ^ "João Backus" . Arquivado do original em 14 de maio de 2008 . Recuperado em 15 de abril de 2008 .
  16. ^ "Destinatários do Prêmio Charles Stark Draper" . Arquivado a partir do original em 2 de março de 2010 . Recuperado em 26 de março de 2007 .
  17. ^ "Recipiente do Fellow Awards 1997 John Backus" . Arquivado a partir do original em 9 de julho de 2010 . Recuperado em 15 de abril de 2008 .

Links externos