Backus, John

John Backus
angol  John Warner Backus
Születési dátum 1924. december 3( 1924-12-03 )
Születési hely Philadelphia ( USA )
Halál dátuma 2007. március 17. (82 évesen)( 2007-03-17 )
A halál helye Ashland ( Oregon , USA)
Ország  USA
Tudományos szféra Informatika
Munkavégzés helye
alma Mater Columbia Egyetem
Ismert, mint az első magas szintű programozási nyelvet, a Fortran -t kifejlesztő csapat vezetője ; kifejlesztett BNF
Díjak és díjak Wallace McDowell-díj (1967)
US National Medal of Science (1975)
Turing-díj (1977)
Harold Pender-díj (1983)
Draper-díj (1993)
 Médiafájlok a Wikimedia Commons oldalon

John Backus ( ang.  John Warner Backus [1] ; 1924. december 3. – 2007. március 17. ) - amerikai informatikus , az első magas szintű Fortran programozási nyelv alkotói csoportjának vezetője, a Backus-Naura forma feltalálója - az egyik legáltalánosabb és legáltalánosabb jelölés a formális nyelvek szintaxisának meghatározására , Turing- díjas (1977).

Az Egyesült Államok Nemzeti Tudományos Akadémiájának tagja (1974) [2] .

Életrajz

Philadelphiában született , Wilmingtonban , Delaware államban nőtt fel, a Pottstown - i Hill Schoolban végzett .  1942-ben beiratkozott a Virginiai Egyetem kémia szakára , de másodéves korában kizárták az órák hiánya miatt. Ezt követően besorozták az amerikai csendes-óceáni flottába , azonban az orvosi vizsgálat során koponyacsont-daganatot diagnosztizáltak nála, amelyet csontimplantátum behelyezésével sikeresen megműtöttek.  

Miután a második világháború idején a hadseregben szolgált, New Yorkba költözött , ahol egy rádiómérnöki iskolában kezdte meg tanulmányait, és lenyűgözte a feladat, hogy kiváló minőségű hangvisszaadó készüléket fejlesszen ki. Az egyik oktató meggyőzte Backust, hogy folytassa tanulmányait, és beiratkozott a Columbia Egyetemre , ahol 1949-ben matematikából szerzett mesterfokozatot.

1950-ben az IBM felvette , ahol hamarosan egy csoportot vezetett, amely a Speedcoding fejlesztette az IBM 701 -es számítógéphez , majd részt vett a gép továbbfejlesztett változatának, az IBM 704 -es modellnek a megalkotásában . 1953 -ban javasolta egy olyan nyelv létrehozását az IBM 704 számítógéphez, amely lehetővé teszi a parancsok szinte közönséges algebrai formában történő írását, valamint egy fordítóprogramot . Ez a javaslat hamar támogatásra talált, hiszen a cég kereste a módokat számítógépei eladásának növelésére, ezért igyekezett vonzóbbá, a felhasználó számára „barátságosabbá” tenni azokat. Ennek eredményeként 1954-1957 között megszületett a Fortran nyelv , amelyet általánosan elismertek, mint a történelem első magas szintű programozási nyelvét.

Ezt követően aktívan részt vett a Fortran fejlesztésében, részt vett az Algol létrehozásával foglalkozó bizottságban . Az Algolról szóló jelentés elkészítése során kifejlesztett egy speciális definíciós rendszert, amely formálisan írja le egy programozási nyelv szintaxisát, és amelyet 1959-ben Párizsban egy UNESCO konferencián mutatott be. Hamarosan ezt a jelölést Backus normál alaknak nevezték el; később Naur Péter pontosította a jelölést, és a formát Backus-Naur alaknak nevezték el (míg a rövidítés változatlan maradt - BNF).

1963-ban az IBM tiszteletbeli tagja lett ( angolul  IBM Fellow ). 1975 - ben megkapta a US National Medal of Science kitüntetést .

1977-ben a Fortran létrehozásán végzett munkájáért és a programozási nyelvek specifikációjának formalizálásához való hozzájárulásáért Turing-díjat kapott. Turing előadása "Megszabadulhat-e a programozás a Neumann-stílus alól?" [3] a kombinatorikus programozásnak szentelte magát, és bevezette benne az FP nyelvet , amely nagyrészt magába szívta az Iverson APL -jéből származó ötleteket, és hatással volt olyan nyelvekre, mint a Haskell és a J az 1980-as években . Az 1980-as évek második felében az IBM az Almaden Research Center munkatársaival együtt kifejlesztette az FL nyelvet , amely az FP-be ágyazott kombinatorikus programozás ötleteit fejleszti.

Mielőtt 1991-ben nyugdíjba vonult, az IBM kutatólaboratóriumában dolgozott. Aláírva: " Scientists' Warning to Humanity " (1992) [4] . 1993-ban Draper-díjat kapott a Fortran megalkotásáért . Utolsó éveit az Oregon állambeli Ashlandben töltötte családjával.

Jegyzetek

  1. ↑ John Warner Backus. Archiválva : 2016. március 20. a Wayback Machine -nál
  2. ↑ John  Backus . nasonline.org. Letöltve: 2019. július 4. Az eredetiből archiválva : 2018. október 6..
  3. ↑ John Backus. Felszabadítható a programozás a Neumann-stílusból? A funkcionális stílus és a megfelelő programalgebra // Turing-díjas előadások = Felszabadítható-e a programozás a Neumann-stílus alól? Egy funkcionális stílus és programalgebrája. - M .: Mir , 1993. - S.  84 -158. — 560 p. - 2000 példányban.  — ISBN 5-03-002130-2 .
  4. ↑ World Scientists' Warning To Humanity  (angol)  (a hivatkozás nem elérhető) . stanford.edu (1992. november 18.). Letöltve: 2019. július 4. Az eredetiből archiválva : 1998. december 6..

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak
Szótárak és enciklopédiák
 Turing- díjasok