Versione delle 03:29, 7 gen 2016 modifica Botcrux (discussione \| contributi) Bot 3 459 309 modifiche m Bot: fix citazione web (v. discussione) ← Differenza precedente		Versione delle 10:11, 26 ott 2016 modifica annulla L'Ospite Inatteso (discussione \| contributi) Mover, Rollbacker 166 316 modifiche Wikifico. Riordino. Elimino deadlink. Differenza successiva →
Riga 1: {{F\|matematici statunitensi\|ottobre 2016}} {{S\|matematici statunitensi}} {{Bio \|Nome = John Warner Line 16 ⟶ 18: }} == Biografia == Vinse il [[Premio Turing]] nel [[1977]] con la seguente motivazione:▼ 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]], il primo linguaggio di programmazione ad alto livello ad avere grande impatto, anche commerciale, sulla nascente comunità informatica. :«''Per i suoi profondi, autorevoli e durevoli contributi al progetto di pratici sistemi di [[Programmazione (informatica)\|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 [[linguaggio di programmazione\|linguaggi di programmazione]]''»▼ 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 [[grammatica libera dal contesto\|grammatiche libere dal contesto]]). Tale notazione è nota come [[Backus-Naur Form\|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. ~~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, il primo linguaggio di programmazione ad alto livello ad avere grande impatto, anche commerciale, sulla nascente comunità informatica.~~ Nel corso degli [[Anni 1970\|anni settanta]], Backus si interessò soprattutto alla [[programmazione funzionale]], progettando il linguaggio di programmazione [[FP (linguaggio di programmazione)\|FP]], descritto nella lezione che tenne per il conferimento del premio Turing, "Can Programming be Liberated from the [[Von Neumann programming languages\|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. ~~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~~ Backus viene a mancare il 17 marzo 2007 nella sua casa ad [[Ashland (Oregon)\|Ashland]], nell'[[Oregon]], probabilmente a causa dell'età avanzata.<ref>{{Cita news \|autore=Steve Lohr \|url=http://www.nytimes.com/2007/03/20/business/20backus.html \|titolo=John W. Backus, 82, Fortran Developer, Dies \|pubblicazione=[[The New York Times]] \|data=20 marzo 2007 \|lingua=en}}</ref> ~~[[grammatica libera dal contesto\|grammatiche libere dal contesto]]). Tale notazione è nota come [[Backus-Naur Form\|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.~~ == Premi e riconoscimenti == ▲Vinse il [[Premio Turing]] nel [[1977]] con la seguente motivazione: ▲~~:«''~~{{Citazione\|Per i suoi profondi, autorevoli e durevoli contributi al progetto di pratici sistemi di [[Programmazione (informatica)\|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 [[linguaggio di programmazione\|linguaggi di programmazione]]~~''»~~.{{cn}}}} == Opere == ~~Nel corso degli [[Anni 1970\|anni settanta]], Backus si interessò soprattutto alla [[programmazione funzionale]], progettando il linguaggio~~ {{...\|\|biografie}} ~~di programmazione [[FP (linguaggio di programmazione)\|FP]], descritto nella lezione che tenne per il conferimento del premio Turing,~~ ~~"Can Programming be Liberated from the [[Von Neumann programming languages\|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.~~ == ~~Articoli~~Note == <references /> * Biografie di John Backus: [http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Backus.html], [http://www.thocp.net/biographies/backus_john.htm] * Lezione per il conferimento del premio Turing nel 1977: [http://www.stanford.edu/class/cs242/readings/backus.pdf Can Programming Be Liberated From the von Neumann Style?] * {{cita web\|http://http.cs.berkeley.edu/~aiken/ftp/FL.ps\|The FL project}} == Altri progetti == Line 43 ⟶ 41: == Collegamenti esterni == * {{cita web\|http://www.nytimes.com/2007/03/20/business/20backus.html\|Necrologio di John Backus sul ''New York Times''\|lingua=en}} * {{MacTutor\|Backus}} * {{Cita web \|url=http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Backus.html \|titolo=John Backus \|sito=MacTutor History of Mathematics archive \|lingua=en}} * {{Cita web \|url=http://www.thocp.net/biographies/backus_john.htm \|titolo=John Backus \|sito=The History of Computing Project \|lingua=en}} {{Premio Turing}} {{Controllo di autorità}} {{Portale\|biografie\|informatica\|matematica}} [[Categoria:Vincitori del premio Turing]]

John Backus: differenze tra le versioni