Movatterモバイル変換


[0]ホーム

URL:


Vai al contenuto
WikipediaL'enciclopedia libera
Ricerca

John Backus

Da Wikipedia, l'enciclopedia libera.
Niente fonti!
Questa voce o sezione sugli argomenti informatici statunitensi e matematici statunitensinon cita le fonti necessarie o quelle presenti sono insufficienti.
Abbozzo
Questa voce sugli argomenti informatici statunitensi e matematici statunitensi è solo unabbozzo.
Contribuisci a migliorarla secondo leconvenzioni di Wikipedia.
John Warner Backus

John Warner Backus (Filadelfia,3 dicembre1924Ashland,17 marzo2007) è stato uninformatico ematematicostatunitense.

Biografia

[modifica |modifica wikitesto]

Appassionato di matematica Backus si iscrive allaColumbia University aNew York ottenendo nel1949 unB. S. (Bachelor of science) e nel1950 unM. A. (Master of Arts). Durante lo stesso anno inizia a far parte del team di produzione di computer dellaInternational Business Machines Corporation.(fonte)

Per ovviare alla difficoltà di programmazione del calcolatori dell'epoca, nel1954 Backus iniziò la direzione di un progetto di ricerca dellaIBM per il progetto e la realizzazione di un linguaggio di programmazione più vicino alla comune notazione matematica. Il progetto sarebbe risultato nel linguaggioFortran [NB: negli anni '50 e '60 il linguaggio aveva il nome ufficiale di FORTRAN; il nome Fortran è della fine degli anni '70], il primo linguaggio di programmazione ad alto livello ad avere grande impatto, anche commerciale, sulla nascente comunità informatica.

Dopo la realizzazione di Fortran, Backus fu un membro molto attivo del comitato internazionale che presiedette al progetto del linguaggioALGOL. In tale contesto propose una notazione per la rappresentazione delle grammatiche utilizzate nella definizione di un linguaggio di programmazione (le cosiddettegrammatiche libere dal contesto). Tale notazione è nota comeBNF, o Forma di Naur e Backus (Backus-Naur Form) ed unisce al nome di Backus quello diPeter Naur, un informatico europeo del comitato ALGOL che contribuì alla sua definizione.

Nel corso deglianni settanta, Backus si interessò soprattutto allaprogrammazione funzionale, progettando il linguaggio di programmazioneFP, descritto nella lezione che tenne per il conferimento del premio Turing, "Can Programming be Liberated from the von Neumann Style?". Si tratta di un linguaggio di interesse soprattutto accademico, che però stimolò una notevole quantità di ricerca. Il progetto FP, poi evolutosi in FL, si estinse quando Backus andò in pensione da IBM, nel 1991.

Backus viene a mancare il 17 marzo 2007 nella sua casa adAshland, nell'Oregon, probabilmente a causa dell'età avanzata.[1]

Premi e riconoscimenti

[modifica |modifica wikitesto]

Vinse ilPremio Turing nel1977 con la seguente motivazione:

«Per i suoi profondi, autorevoli e durevoli contributi al progetto di pratici sistemi diprogrammazione ad alto livello, in special modo attraverso il suo lavoro suFORTRAN, e per l'originale e influente proposta di metodi formali per la specifica dilinguaggi di programmazione.[2]»

Opere

[modifica |modifica wikitesto]
Sezione vuotaQuesta sezione sull'argomento biografie è ancora vuota.Aiutaci a scriverla!

Note

[modifica |modifica wikitesto]
  1. ^(EN) Steve Lohr,John W. Backus, 82, Fortran Developer, Dies, inThe New York Times, 20 marzo 2007.
  2. ^(EN)John Backus, inPremio Turing, 7 febbraio 2024.

Altri progetti

[modifica |modifica wikitesto]

Altri progetti

Collegamenti esterni

[modifica |modifica wikitesto]
V · D · M
Vincitori del Premio Turing
Anni 1960Alan Perlis (1966) ·Maurice V. Wilkes (1967) ·Richard Hamming (1968) ·Marvin Minsky (1969)
Anni 1970James H. Wilkinson (1970) ·John McCarthy (1971) ·Edsger Dijkstra (1972) ·Charles Bachman (1973) ·Donald Knuth (1974) ·Allen Newell - Herbert Simon (1975) ·Michael Rabin - Dana Scott (1976) ·John Backus (1977) ·Robert Floyd (1978) ·Kenneth Iverson (1979)
Anni 1980Tony Hoare (1980) ·Edgar F. Codd (1981) ·Stephen Cook (1982) ·Ken Thompson - Dennis Ritchie (1983) ·Niklaus Wirth (1984) ·Richard Karp (1985) ·John Hopcroft - Robert Tarjan (1986) ·John Cocke (1987) ·Ivan Sutherland (1988) ·William Kahan (1989)
Anni 1990Fernando J. Corbató (1990) ·Robin Milner (1991) ·Butler W. Lampson (1992) ·Juris Hartmanis - Richard E. Stearns (1993) ·Edward Feigenbaum - Raj Reddy (1994) ·Manuel Blum (1995) ·Amir Pnueli (1996) ·Douglas Engelbart (1997) ·James Gray (1998) ·Frederick P. Brooks, Jr. (1999)
Anni 2000Andrew Chi-Chih Yao (2000) ·Ole-Johan Dahl - Kristen Nygaard (2001) ·Ronald Rivest - Adi Shamir - Leonard Adleman (2002) ·Alan Kay (2003) ·Vint Cerf - Robert Kahn (2004) ·Peter Naur (2005) ·Frances E. Allen (2006) ·Edmund M. Clarke - E. Allen Emerson - Joseph Sifakis (2007) ·Barbara Liskov (2008) ·Charles P. Thacker (2009)
Anni 2010Leslie Valiant (2010) ·Judea Pearl (2011) ·Silvio Micali - Shafi Goldwasser (2012) ·Leslie Lamport (2013) ·Michael Stonebraker (2014) ·Martin Hellman - Whitfield Diffie (2015) ·Tim Berners-Lee (2016) ·John L. Hennessy - David Patterson (2017) ·Yoshua Bengio - Geoffrey Hinton - Yann LeCun (2018)Edwin Catmull - Pat Hanrahan (2019)
Anni 2020Alfred Aho - Jeffrey Ullman (2020) ·Jack Dongarra (2021) ·Robert Metcalfe (2022) ·Avi Wigderson (2023)
Controllo di autoritàVIAF(EN163243510 ·ISNI(EN0000 0001 1211 5225 ·SBNMILV310818 ·LCCN(ENn92106806
Estratto da "https://it.wikipedia.org/w/index.php?title=John_Backus&oldid=142937489"
Categorie:
Categorie nascoste:

[8]ページ先頭

©2009-2025 Movatter.jp