Backus, John

John Backus ( ing.  John Warner Backus [1] ; 3 decembrie 1924 - 17 martie 2007 ) - informatician american , șeful echipei de creatori ai primului limbaj de programare de nivel înalt Fortran , inventatorul formei Backus-Naura - una dintre cele mai comune și universale notații pentru definirea sintaxei limbajelor formale , câștigător al Premiului Turing (1977).

Membru al Academiei Naționale de Științe din SUA (1974) [2] .

Biografie

Născut în Philadelphia , a crescut în Wilmington , Delaware , a absolvit Hill School din Pottstown .  În 1942, a intrat la Universitatea din Virginia în cadrul Departamentului de Chimie , dar a fost expulzat în al doilea an pentru că a lipsit de la cursuri. După aceea, a fost recrutat în Flota Pacificului SUA , cu toate acestea, în timpul unui examen medical, a fost diagnosticat cu o tumoare a osului cranian , care a fost operată cu succes cu instalarea unui implant osos.  

După ce a servit în armată în timpul celui de-al Doilea Război Mondial, s-a mutat la New York , unde și-a început studiile la o școală de inginerie radio, fascinat de sarcina de a dezvolta un dispozitiv de reproducere a sunetului de înaltă calitate. Unul dintre profesori l-a convins pe Backus să-și continue educația și s-a înscris la Universitatea Columbia , obținând o diplomă de master în matematică în 1949.

În 1950, a fost angajat de IBM , unde a condus în curând un grup care a dezvoltat Speedcoding pentru computerul IBM 701 , iar mai târziu a luat parte la crearea unei versiuni îmbunătățite a acestei mașini, modelul IBM 704 . În 1953, el a propus să creeze un limbaj pentru computerul IBM 704 care să permită scrierea comenzilor în formă algebrică aproape obișnuită și un compilator pentru acesta. Această propunere a găsit rapid sprijin, deoarece compania căuta modalități de a crește vânzările computerelor sale și, prin urmare, a căutat să le facă mai atractive, „prietenoase” pentru utilizator. Drept urmare, în anii 1954-1957, a fost creat limbajul Fortran , care este universal recunoscut ca primul limbaj de programare de nivel înalt din istorie.

Ulterior, a luat parte activ la dezvoltarea Fortran, a participat la comitetul pentru crearea lui Algol . În procesul de pregătire a unui raport despre Algol, el a dezvoltat un sistem special de definiție care descrie în mod oficial sintaxa unui limbaj de programare , pe care l-a prezentat la o conferință UNESCO la Paris în 1959. Curând această notație a fost numită forma normală Backus; mai târziu, Peter Naur a clarificat notația, iar forma a fost numită forma Backus-Naur (în timp ce abrevierea a rămas aceeași - BNF).

În 1963 a devenit membru de onoare al IBM ( English  IBM Fellow ). În 1975 a fost distins cu Medalia Națională a Științei din SUA .

În 1977, pentru munca sa la crearea lui Fortran și contribuția sa la formalizarea specificațiilor limbajelor de programare, i s-a acordat Premiul Turing. Conferința lui Turing „Se poate elibera programarea de stilul von Neumann?” [3] s-a dedicat programării combinatorii și a introdus limbajul FP în el , care a absorbit în mare măsură ideile din APL -ul lui Iverson și a influențat limbaje precum Haskell și J în anii 1980 . În a doua jumătate a anilor 1980, împreună cu colegii de la Centrul de Cercetare Almaden, IBM a dezvoltat limbajul FL , care dezvoltă ideile de programare combinatorie încorporate în FP.

Înainte de a se pensiona în 1991, a lucrat în laboratoarele de cercetare IBM. Semnat „ Avertismentul oamenilor de știință pentru umanitate ” (1992) [4] . În 1993 a fost distins cu Draper Prize pentru crearea Fortran . Și-a petrecut ultimii ani cu familia sa în Ashland , Oregon.

Note

1. ↑ John Warner Backus. Arhivat pe 20 martie 2016 la Wayback Machine
2. ↑ John  Backus . nasonline.org. Preluat la 4 iulie 2019. Arhivat din original la 6 octombrie 2018.
3. ↑ John Backus. Este posibil să eliberați programarea din stilul von Neumann? Stilul funcțional și programul corespunzătoare Algebra // Prelegerile Turing Prize = Poate fi eliberată programarea de stilul von Neumann? Un stil funcțional și algebra sa de programe. - M .: Mir , 1993. - S.  84 -158. — 560 p. - 2000 de exemplare.  — ISBN 5-03-002130-2 .
4. ↑ World Scientists' Warning To Humanity  (în engleză)  (link nu este disponibil) . stanford.edu (18 noiembrie 1992). Preluat la 4 iulie 2019. Arhivat din original la 6 decembrie 1998.

Link -uri

• Leonid Chernyak. Revizuirea principiilor fundamentale - sfârșitul stagnării? (link indisponibil) . Editura „Sisteme deschise”. Consultat la 28 septembrie 2013. Arhivat din original la 30 septembrie 2007. (nedefinit) 
• Yuri Polunov. „Prima încercare” . Muzeu virtual de calculatoare. Preluat: 28 septembrie 2013. (nedefinit)
• Personalități. John Backus - creatorul limbajului Fortran  (neopr.)  // Informatică. - 1 septembrie 2007. - T. 08 . Arhivat din original pe 23 octombrie 2013.

Site-uri tematice	Scopus zbMATH Deschide Arhiva pentru Istoria Matematicii MacTutor
Dicționare și enciclopedii	mare danez Mare catalană Britannica (online) Baza de date cu nume notabile Treccani
În cataloagele bibliografice LCCN : n92106806 NKC : xx0204479 NLP : A17170928 NUKAT : n2003031022 VIAF : 163243510 World Cat VIAF : 163243510