John Backus - John Backus

Questo articolo è circa l'informatico. Per il fisico, vedi John Backus (acustico) . Per il ministro, vedi John Chester Backus .

John Backus
John Backus 2.jpg
Backus nel dicembre 1989
Nato
John Warner Backus

( 1924-12-03 )3 dicembre 1924
Philadelphia, Pennsylvania
Morto 17 marzo 2007 (2007-03-17)(82 anni)
Ashland, Oregon
Alma mater Università della Virginia
Università di Pittsburgh
Columbia University (BS 1949, MS 1950)
Conosciuto per Speedcoding
FORTRAN
ALGOL
Modulo Backus–Naur
Programmazione a livello di funzione
Coniugi
Marjorie Jamison
​
​
( M.  1947⁠-⁠1966)

Barbara Una
​
​
( M.  1968; morto 2004)
Figli 2
Premi National Medal of Science (1975)
Premio Turing (1977)
Premio Charles Stark Draper (1993)
Carriera scientifica
Campi Informatica
Istituzioni IBM

John Warner Backus (3 dicembre 1924 – 17 marzo 2007) è stato un informatico americano . Ha diretto il team che ha inventato e implementato FORTRAN , il primo linguaggio di programmazione di alto livello ampiamente utilizzato , ed è stato l'inventore della forma Backus-Naur (BNF), una notazione ampiamente utilizzata per definire la sintassi del linguaggio formale . In seguito ha svolto ricerche sul paradigma di programmazione a livello di funzione , presentando le sue scoperte nella sua influente conferenza del 1977 Turing Award "Can Programming Be Liberated from the von Neumann Style?

L' IEEE ha assegnato a Backus il WW McDowell Award nel 1967 per lo sviluppo di FORTRAN. Ha ricevuto la National Medal of Science nel 1975 e il Premio Turing nel 1977 "per contributi profondi, influenti e duraturi alla progettazione di sistemi di programmazione pratici di alto livello, in particolare attraverso il suo lavoro su FORTRAN, e per la pubblicazione di procedure formali per la specifica dei linguaggi di programmazione”.

Si è ritirato nel 1991 ed è morto nella sua casa di Ashland, in Oregon, il 17 marzo 2007.

Primi anni di vita

Backus è nato a Filadelfia ed è cresciuto nella vicina Wilmington, nel Delaware . Ha studiato alla The Hill School di Pottstown, in Pennsylvania , e apparentemente non era uno studente diligente. Entrò al college presso l' Università della Virginia per studiare chimica , ma ha lottato con le sue lezioni lì, ed è stato espulso dopo meno di un anno per scarsa frequenza. Successivamente è stato arruolato nell'esercito degli Stati Uniti durante la seconda guerra mondiale e alla fine è arrivato a ricoprire il grado di caporale, venendo messo al comando di una batteria antiaerea di stanza a Fort Stewart , in Georgia .

Dopo aver ricevuto ottimi punteggi in un test attitudinale militare, l'esercito lo mandò a studiare ingegneria all'Università di Pittsburgh . In seguito si è trasferito a un programma pre-medico presso l' Haverford College . Durante uno stage in un ospedale, gli è stato diagnosticato un tumore all'osso cranico , che è stato rimosso con successo e gli è stata installata una placca nella testa. Quindi si trasferì alla Flower and Fifth Avenue Medical School per la scuola di medicina, ma la trovò poco interessante e abbandonò dopo nove mesi. Ben presto subì una seconda operazione per sostituire la piastra metallica nella sua testa con una di sua progettazione e ricevette un congedo medico onorevole dall'esercito degli Stati Uniti nel 1946.

Fortran

Dopo essersi trasferito a New York, si è formato inizialmente come tecnico radiofonico e si è interessato alla matematica. Si è laureato alla Columbia University con un bachelor nel 1949 e un master nel 1950, entrambi in matematica, ed è entrato in IBM nel 1950. Durante i suoi primi tre anni, ha lavorato al Selective Sequence Electronic Calculator (SSEC) ; il suo primo grande progetto è stato quello di scrivere un programma per calcolare le posizioni della Luna . Nel 1953 Backus sviluppò il linguaggio Speedcoding , il primo linguaggio di alto livello creato per un computer IBM, per aiutare nello sviluppo del software per il computer IBM 701 .

La programmazione era molto difficile in quel momento e nel 1954 Backus riunì un team per definire e sviluppare Fortran per il computer IBM 704 . Fortran è stato il primo linguaggio di programmazione di alto livello ad essere utilizzato ampiamente.

Forma Backus–Naur

Articolo principale: modulo Backus-Naur

Backus ha fatto parte dei comitati internazionali che hanno sviluppato ALGOL 58 e l'influente ALGOL 60 , che è diventato rapidamente lo standard mondiale de facto per la pubblicazione di algoritmi . Backus ha sviluppato la forma Backus-Naur (BNF), pubblicata nel rapporto UNESCO su ALGOL 58. Era una notazione formale in grado di descrivere qualsiasi linguaggio di programmazione context-free ed era importante nello sviluppo dei compilatori . Sono state tentate alcune deviazioni da questo approccio, in particolare in Lisp e APL, ma negli anni '70, in seguito allo sviluppo di generatori di compilatori automatizzati come yacc , le specifiche backus-Naur per i linguaggi di computer erano diventate piuttosto standard. Questo contributo ha aiutato Backus a vincere il Turing Award nel 1977.

Programmazione a livello di funzione

Backus in seguito ha lavorato su un linguaggio di programmazione a livello di funzione noto come FP , che è stato descritto nella sua conferenza del Premio Turing "Può la programmazione essere liberata dallo stile von Neumann ?". A volte visto come le scuse di Backus per la creazione di Fortran, questo documento ha fatto meno per suscitare interesse nel linguaggio FP che per stimolare la ricerca sulla programmazione funzionale in generale. Quando Backus ha pubblicizzato lo stile di programmazione a livello di funzione, il suo messaggio è stato per lo più frainteso come lo stesso dei tradizionali linguaggi di stile di programmazione funzionale.

FP è stato fortemente ispirato da Kenneth Iverson s' APL , anche utilizzando un non-standard di set di caratteri . Un interprete FP è stato distribuito con il sistema operativo Unix 4.2BSD , ma c'erano relativamente poche implementazioni del linguaggio, la maggior parte delle quali erano usate per scopi didattici.

Backus ha trascorso l'ultima parte della sua carriera sviluppando FL (da "Function Level"), un successore di FP. FL era un progetto di ricerca interno IBM e lo sviluppo del linguaggio si è interrotto quando il progetto è stato terminato. Rimangono solo pochi documenti che lo documentano e il codice sorgente del compilatore in essi descritto non è stato reso pubblico. FL era in contrasto con i linguaggi di programmazione funzionale sviluppati negli anni '80, la maggior parte dei quali erano basati sul calcolo lambda e sui sistemi di tipizzazione statica invece che, come in APL, sulla concatenazione di operazioni primitive. Molte delle idee del linguaggio sono state ora implementate nelle versioni del linguaggio di programmazione J , il successore di APL di Iverson.

Premi e riconoscimenti

Guarda anche

Riferimenti

link esterno