Konkretni problemy:
misty podivny sloh a ne?eske formulace, asi d?sledek strojoveho p?ekladu
John Warner Backus
(
3. prosince
1924
Filadelfie
?
17. b?ezna
2007
Ashland
) byl americky po?ita?ovy v?dec. Vedl tym, jen? vynalezl prvni ?iroce pou?ivany vy??i
programovaci jazyk
(
Fortran
) a byl vynalezcem
Backusovy?Naurovy formy
(BNF), co? je tem?? univerzaln? pou?ivana notace pro definovani
syntaxe
formalnich jazyk?
. Take zkoumal a pomohl popularizovat tzv.
function-level programovani
.
Institut pro elektrotechnicke a elektronicke in?enyrstvi (
IEEE
) ud?lil Backusovi v roce 1967 cenu W.W. McDowella (W.W. McDowell Award) za vyvoj Fortranu. V roce 1975 obdr?el Narodni medaili za v?du (National Medal of Science) a v roce 1977
Turingovu cenu
(ACM Turing Award) ?za hluboky, vyznamny, a trvaly p?inos pro navrhu u?elnych vy??ich programovacich system?, zejmena pak skrze praci na Fortranu, a za vysoce vyznamnou publikaci formalnich procedur pro specifikaci programovacich jazyk?“.
Backus se narodil ve
Filadelfii
, stat
Pensylvanie
, a vyr?stal v nedalekem Wilmingtonu, stat Delaware. Studoval na Hill School v Pottstownu, stat
Pensylvanie
, a pry nebyl pilny student. Pote, co vstoupil na Virginskou univerzitu, aby studoval chemii, sva studia ukon?il, a v roce 1942 byl odveden do
Armady Spojenych stat?
. Za?al studovat medicinu, na?e? mu byl, b?hem sta?e v nemocnici, na mozku diagnostikovan nador, ten byl pozd?ji usp??n? odstran?n a do hlavy mu byla instalovana metalicka desti?ka. Po deviti m?sicich v?ak sva studia mediciny ukon?il. V roce 1946 podstoupil druhou operaci hlavy, p?i ni? mu byla stara desti?ka v hlav? nahrazena novou, tuto novou desti?ku sam navrhl.
Pote, co se p?esunul do
New Yorku
, za?al studovat na ?kole pro radiotechniky, tam pozd?ji take nalezl zalibu v
matematice
. V roce 1949 dostudoval Kolumbijskou univerzitu a ziskal magistersky titul, v roce 1950 ziskal praci v
IBM
. B?hem prvnich t?ech let pracoval na po?ita?i SSEC (Selective Sequence Electronic Calculator), jeho prvni velky projekt bylo napsani programu pro vypo?et pozic M?sice. V roce 1953 John Backus take vyvinul jazyk
Speedcoding
, prvni jazyk vy??iho ?adu pro po?ita? IBM.
V roce 1954 sestavil Backus tym vyvoja??, je? m?l za ukol definovat a vyvinout programovaci jazyk pro novy po?ita?
IBM 704
, timto jazykem byl
Fortran
. A?koli se vedou debaty, zdali byl Fortran prvnim jazykem vy??iho ?adu, byl to zcela jist? prvni takovy jazyk, je? dosahl ?irokeho vyu?iti.
Backus v?ak vyznamn? p?isp?l do oblasti prvnich po?ita?? i jinak. B?hem druhe poloviny 50. let 20. stoleti byl Backus ?lenem mezinarodnich komisi, je? vyvinuly
ALGOL 58
a velmi vyznamny
ALGOL 60
, ktery se velmi rychle stal de facto celosv?tovym standardem pro publikovani
algoritm?
. Backus take vyvinul tzv. ?
Backusovu?Naurovu formu
“, co? byla formalni notace, diky ktere bylo mo?ne popsat jakykoli
bezkontextovy programovaci jazyk
. Backusova?Naurova forma byla velmi d?le?ita pro
vyvoj p?eklada??
. Toto v?echno pomohlo Backusovi k ziskani
Turingovy ceny
.
Pozd?ji pracoval na tzv.
?function-level“ programovacim jazyce
zvanem
FP
, ktery byl popsan b?hem jeho p?edna?ky p?i p?ile?itosti ud?leni jeho Turingovy ceny, ?M??e byt programovani osvobozeno od von Neumannova stylu?“. Fakt, ?e tento dokument neud?lal ani tak mnoho pro zvy?eni zajmu o jazyk FP, jako spi? rozniceni vyzkumu
funkcionalniho programovani
, je ob?as vid?no jako Backusova omluva za vytvo?eni
Fortranu
.
Interpret
jazyka
FP
byl distribuovan s opera?nim systemem 4.2
BSD
Unix
. Jazyk
FP
byl siln? inspirovan jazykem
APL
Kennetha E. Iversona
, dokonce pou?ival nestandardni
znakovou sadu
. Backus stravil zbytek sve kariery vyvojem jazyka
FL
(odvozeno od ?Function Level“), nastupce jazyka
FP
.
FL
byl internim vyzkumnym projektem
IBM
, jeho vyvoj se v podstat? zastavil pote, co byl projekt dokon?en (dnes o n?m z?stava pouze par stranek dokumentace). Spousta inovativnich my?lenek tohoto jazyka v?ak bylo implementovano do
Iversonova
programovaciho jazyka
J
.
V roce 1963 byl Backusovi ud?len titul IBM Fellow, co? je nejvy??i ocen?ni jake m??e v?dec, in?enyr ?i programator v IBM ziskat. Krom toho mu byl v roce 1989 ud?len titul
?estny doktorat
Univerzitou Henriho Poincareho ve Francii, a cena Charlese Starka Drapera (Charles Stark Draper Prize), v roce 1993. John W. Backus ode?el do d?chodu v roce 1991 a 17. b?ezna 2007 zem?el ve svem dom? ve m?st? Ashland, stat Oregon.
- IBM Fellow (1963)
- Cena W.W. McDowella (1967)
- Narodni medaile za v?du (1975)
- ACM Turingova cena (1977)
- Doctor honoris causa (1989)
- Draperova cena (1993)
- Cena Muzea historie po?ita?? (1997)
- Asteroid 6830 Johnbackus byl po jeho smrti pojmenovan k jeho poct? (1. ?ervna 2007)
V tomto ?lanku byl pou?it
p?eklad
textu z ?lanku
John Backus
na anglicke Wikipedii.