Backus, John

John Backus ( eng.  John Warner Backus [1] ; 3 december 1924 - 17 mars 2007 ) - Amerikansk datavetare , chef för teamet av skapare av det första högnivåprogrammeringsspråket Fortran , uppfinnare av Backus-Naura-formen - en av de vanligaste och mest universella notationerna för att definiera syntaxen för formella språk , vinnare av Turing Award (1977).

Medlem av US National Academy of Sciences (1974) [2] .

Biografi

Född i Philadelphia , växte upp i Wilmington , Delaware , tog examen från Hill School i Pottstown .  1942 gick han in på University of Virginia i Department of Chemistry , men utvisades under sitt andra år på grund av att han saknade klasser. Efter det togs han in i den amerikanska Stillahavsflottan , men under en medicinsk undersökning fick han diagnosen en tumör i kranialbenet , som framgångsrikt opererades med installationen av ett benimplantat.  

Efter att ha tjänstgjort i armén under andra världskriget, flyttade han till New York , där han började sina studier på en radioteknikskola, fascinerad av uppgiften att utveckla en högkvalitativ ljudåtergivningsenhet. En av fakulteterna övertygade Backus att fortsätta sin utbildning, och han skrev in sig vid Columbia University och fick en magisterexamen i matematik 1949.

1950 anställdes han av IBM , där han snart ledde en grupp som utvecklade Speedcoding- för IBM 701 -datorn , och senare deltog i skapandet av en förbättrad version av denna maskin, IBM 704 -modellen . 1953 föreslog han att skapa ett språk för IBM 704-datorn som tillåter att skriva kommandon i nästan vanlig algebraisk form, och en kompilator för det. Detta förslag fick snabbt stöd, eftersom företaget letade efter sätt att öka försäljningen av sina datorer, och därför försökte göra dem mer attraktiva, "vänliga" för användaren. Som ett resultat, under åren 1954-1957, skapades Fortran -språket , som är allmänt erkänt som det första programmeringsspråket på hög nivå i historien.

Därefter deltog han aktivt i utvecklingen av Fortran, deltog i kommittén för skapandet av Algol . I processen med att förbereda en rapport om Algol utvecklade han ett speciellt definitionssystem som formellt beskriver syntaxen för ett programmeringsspråk , vilket han presenterade på en UNESCO- konferens i Paris 1959. Snart kallades denna notation Backus normalform; senare förtydligade Peter Naur notationen, och formen kallades Backus-Naur-formen (medan förkortningen förblev densamma - BNF).

1963 blev han hedersstipendiat till IBM ( engelsk  IBM Fellow ). 1975 tilldelades han US National Medal of Science .

1977, för sitt arbete med att skapa Fortran och sitt bidrag till formaliseringen av specifikationen av programmeringsspråk, tilldelades han Turing-priset. Turings föreläsning "Kan programmering befrias från von Neumann-stilen?" [3] ägnade sig åt kombinatorisk programmering och introducerade språket FP i det , som till stor del absorberade idéer från Iversons APL och påverkade språk som Haskell och J på 1980 -talet . Under andra hälften av 1980-talet utvecklade IBM tillsammans med kollegor från Almaden Research Center språket FL , som utvecklar idéerna om kombinatorisk programmering inbäddad i FP.

Innan han gick i pension 1991 arbetade han i IBMs forskningslabb. Signerad " Scientists' Warning to Humanity " (1992) [4] . 1993 tilldelades han Draper-priset för skapandet av Fortran . Han tillbringade sina sista år med sin familj i Ashland , Oregon.

Anteckningar

1. ↑ John Warner Backus. Arkiverad 20 mars 2016 på Wayback Machine
2. ↑ John  Backus . nasonline.org. Hämtad 4 juli 2019. Arkiverad från originalet 6 oktober 2018.
3. ↑ John Backus. Är det möjligt att frigöra programmering från von Neumann-stilen? Funktionell stil och motsvarande program Algebra // Turingprisföreläsningar = Kan programmering befrias från von Neumann-stilen? En funktionell stil och dess algebra av program. - M .: Mir , 1993. - S.  84 -158. — 560 sid. - 2000 exemplar.  — ISBN 5-03-002130-2 .
4. ↑ World Scientists' Warning To Humanity  (engelska)  (länk ej tillgänglig) . stanford.edu (18 november 1992). Hämtad 4 juli 2019. Arkiverad från originalet 6 december 1998.

Länkar

• Leonid Chernyak. Revidering av grundläggande principer - slutet på stagnation? (inte tillgänglig länk) . Förlag "Öppna system". Hämtad 28 september 2013. Arkiverad från originalet 30 september 2007. (obestämd) 
• Jurij Polunov. "Första försöket" . Virtuella datormuseum. Hämtad: 28 september 2013. (obestämd)
• Personligheter. John Backus - skaparen av Fortran-språket  (neopr.)  // Informatik. - Första september 2007. - T. 08 . Arkiverad från originalet den 23 oktober 2013.

Tematiska platser	Scopus zbMATH Öppna Arkiv för matematikens historia MacTutor
Ordböcker och uppslagsverk	Stor dansk Stor katalanska Britannica (online) Anmärkningsvärda namndatabas Treccani
I bibliografiska kataloger LCCN : n92106806 NKC : xx0204479 NLP : A17170928 NUKAT : n2003031022 VIAF : 163243510 World Cat VIAF : 163243510