Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
teknopedia
teknopedia
teknopedia
teknopedia
teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. John Backus - Teknopedia
John Backus - Teknopedia
Niente fonti!
Questa voce o sezione sugli argomenti informatici statunitensi e matematici statunitensi non cita le fonti necessarie o quelle presenti sono insufficienti.

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti.
Abbozzo
Questa voce sugli argomenti informatici statunitensi e matematici statunitensi è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Teknopedia.
John Warner Backus

John Warner Backus (Filadelfia, 3 dicembre 1924 – Ashland, 17 marzo 2007) è stato un informatico e matematico statunitense.

Biografia

[modifica | modifica wikitesto]

Appassionato di matematica Backus si iscrive alla Columbia University a New York ottenendo nel 1949 un B. S. (Bachelor of science) e nel 1950 un M. A. (Master of Arts). Durante lo stesso anno inizia a far parte del team di produzione di computer della International Business Machines Corporation. (fonte)

Per ovviare alla difficoltà di programmazione del calcolatori dell'epoca, nel 1954 Backus iniziò la direzione di un progetto di ricerca della IBM per il progetto e la realizzazione di un linguaggio di programmazione più vicino alla comune notazione matematica. Il progetto sarebbe risultato nel linguaggio Fortran [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 linguaggio ALGOL. In tale contesto propose una notazione per la rappresentazione delle grammatiche utilizzate nella definizione di un linguaggio di programmazione (le cosiddette grammatiche libere dal contesto). Tale notazione è nota come BNF, o Forma di Naur e Backus (Backus-Naur Form) ed unisce al nome di Backus quello di Peter Naur, un informatico europeo del comitato ALGOL che contribuì alla sua definizione.

Nel corso degli anni settanta, Backus si interessò soprattutto alla programmazione funzionale, progettando il linguaggio di programmazione FP, 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 ad Ashland, nell'Oregon, probabilmente a causa dell'età avanzata.[1]

Premi e riconoscimenti

[modifica | modifica wikitesto]

Vinse il Premio Turing nel 1977 con la seguente motivazione:

«Per i suoi profondi, autorevoli e durevoli contributi al progetto di pratici sistemi di programmazione ad alto livello, in special modo attraverso il suo lavoro su FORTRAN, e per l'originale e influente proposta di metodi formali per la specifica di linguaggi 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, in The New York Times, 20 marzo 2007.
  2. ↑ (EN) John Backus, in Premio Turing, 7 febbraio 2024.

Altri progetti

[modifica | modifica wikitesto]

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file su John Backus

Collegamenti esterni

[modifica | modifica wikitesto]
  • Backus, John W, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana. Modifica su Wikidata
  • (EN) John Warner Backus, su Enciclopedia Britannica, Encyclopædia Britannica, Inc. Modifica su Wikidata
  • (EN) John Backus, su MacTutor, University of St Andrews, Scotland. Modifica su Wikidata
  • (EN) Opere di John Backus, su Open Library, Internet Archive. Modifica su Wikidata
  • (EN) John Backus, su The History of Computing Project.
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 (EN) 163243510 · ISNI (EN) 0000 0001 1211 5225 · SBN MILV310818 · LCCN (EN) n92106806
  Portale Biografie
  Portale Informatica
  Portale Matematica
Estratto da "https://it.wikipedia.org/w/index.php?title=John_Backus&oldid=142937489"

  • Indonesia
  • English
  • Français
  • 日本語
  • Deutsch
  • Italiano
  • Español
  • Русский
  • فارسی
  • Polski
  • 中文
  • Nederlands
  • Português
  • العربية
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022