Backus, John

John Backus
engelsk  John Warner Backus
Fødselsdato 3. december 1924( 1924-12-03 )
Fødselssted Philadelphia ( USA )
Dødsdato 17. marts 2007 (82 år)( 2007-03-17 )
Et dødssted Ashland ( Oregon , USA)
Land  USA
Videnskabelig sfære Informatik
Arbejdsplads
Alma Mater Columbia University
Kendt som leder af teamet, der udviklede det første programmeringssprog på højt niveau, Fortran ; udviklet BNF
Priser og præmier Wallace McDowell Award (1967)
US National Medal of Science (1975)
Turing Award (1977)
Harold Pender Award (1983)
Draper Award (1993)
 Mediefiler på Wikimedia Commons

John Backus ( Eng.  John Warner Backus [1] ; 3. december 1924 - 17. marts 2007 ) - amerikansk computerforsker , leder af teamet af skabere af det første højniveau programmeringssprog Fortran , opfinder af Backus-Naura-formen - en af ​​de mest almindelige og universelle notationer til at definere syntaksen for formelle sprog , vinder af Turing Award (1977).

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

Biografi

Født i Philadelphia , voksede op i Wilmington , Delaware , og dimitterede fra Hill School i Pottstown .  I 1942 gik han ind på University of Virginia i Department of Chemistry , men blev udvist i sit andet år på grund af manglende undervisning. Derefter blev han indkaldt til den amerikanske stillehavsflåde , men under en lægeundersøgelse blev han diagnosticeret med en tumor i kranieknoglen , som med succes blev opereret med installationen af ​​et knogleimplantat.  

Efter at have tjent i hæren under Anden Verdenskrig, flyttede han til New York , hvor han begyndte sine studier på en radioingeniørskole, fascineret af opgaven med at udvikle en lydgengivelse af høj kvalitet. Et af fakulteterne overbeviste Backus om at fortsætte sin uddannelse, og han indskrev sig ved Columbia University og fik en mastergrad i matematik i 1949.

I 1950 blev han ansat af IBM , hvor han snart ledede en gruppe, der udviklede Speedcoding- til IBM 701 -computeren , og senere deltog i skabelsen af ​​en forbedret version af denne maskine, IBM 704 -modellen . I 1953 foreslog han at skabe et sprog til IBM 704-computeren, der tillader at skrive kommandoer i næsten almindelig algebraisk form, og en compiler til det. Dette forslag fandt hurtigt opbakning, da virksomheden ledte efter måder at øge salget af sine computere på og derfor søgte at gøre dem mere attraktive, "venlige" for brugeren. Som et resultat blev Fortran -sproget skabt i årene 1954-1957, som er universelt anerkendt som det første programmeringssprog på højt niveau i historien.

Efterfølgende tog han en aktiv del i udviklingen af ​​Fortran, deltog i udvalget for oprettelsen af ​​Algol . I processen med at udarbejde en rapport om Algol udviklede han et særligt definitionssystem, der formelt beskriver syntaksen af ​​et programmeringssprog , som han præsenterede på en UNESCO - konference i Paris i 1959. Snart blev denne notation kaldt Backus normalform; senere præciserede Peter Naur notationen, og formen blev kaldt Backus-Naur-formen (mens forkortelsen forblev den samme - BNF).

I 1963 blev han æresstipendiat i IBM ( engelsk  IBM Fellow ). I 1975 blev han tildelt US National Medal of Science .

I 1977 blev han tildelt Turing-prisen for sit arbejde med skabelsen af ​​Fortran og sit bidrag til formaliseringen af ​​specifikationen af ​​programmeringssprog. Turings foredrag "Kan programmering frigøres fra von Neumann-stilen?" [3] viet til kombinatorisk programmering og introducerede sproget FP i det , som i vid udstrækning absorberede ideer fra Iversons APL og påvirkede sprog som Haskell og J i 1980'erne . I anden halvdel af 1980'erne udviklede IBM sammen med kolleger fra Almaden Research Center sproget FL , som udvikler ideerne om kombinatorisk programmering indlejret i FP.

Før han gik på pension i 1991, arbejdede han i IBMs forskningslaboratorier. Signeret " Scientists' Warning to Humanity " (1992) [4] . I 1993 blev han tildelt Draper-prisen for skabelsen af ​​Fortran . Han tilbragte sine sidste år med sin familie i Ashland , Oregon.

Noter

  1. ↑ John Warner Backus. Arkiveret 20. marts 2016 på Wayback Machine
  2. ↑ John  Backus . nasonline.org. Hentet 4. juli 2019. Arkiveret fra originalen 6. oktober 2018.
  3. ↑ John Backus. Er det muligt at frigøre programmering fra von Neumann-stilen? Funktionel stil og det tilsvarende program Algebra // Turing-prisforelæsninger = Kan programmering frigøres fra von Neumann-stilen? En funktionel stil og dens algebra af programmer. - M .: Mir , 1993. - S.  84 -158. — 560 s. - 2000 eksemplarer.  — ISBN 5-03-002130-2 .
  4. ↑ World Scientists' Warning To Humanity  (engelsk)  (link ikke tilgængeligt) . stanford.edu (18. november 1992). Hentet 4. juli 2019. Arkiveret fra originalen 6. december 1998.

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier
 Turing prisvindere