Jana Backusa

Ten artykuł dotyczy informatyka. Dla fizyka patrz John Backus (akustyk) . Dla ministra, patrz John Chester Backus .

Johna Backusa
Backusa w grudniu 1989 roku
Urodzić się	Johna Warnera Backusa ( 1924-12-03 ) 3 grudnia 1924 Wilmington, Delaware
Zmarł	17 marca 2007 (17.03.2007) (w wieku 82) Ashland w stanie Oregon
Alma Mater	University of Virginia University of Pittsburgh Haverford College Columbia University (BS 1949, MS 1950)
Znany z	Szybkie kodowanie FORTRAN ALGOL Forma Backus-Naur Programowanie na poziomie funkcji
Małżonek (małżonkowie)	Marjorie Jamison ​ ​ ( m. 1947⁠–⁠1966 <a i=3>) ​ Barbary Uny ​ ​ ( m. 1968; zm. 2004 <a i=3>) ​
Dzieci	2
Nagrody	Narodowy Medal Nauki (1975) Nagroda Turinga (1977) Nagroda Charlesa Starka Drapera (1993)
Kariera naukowa
Pola	Informatyka
Instytucje	IBM

John Warner Backus (3 grudnia 1924 - 17 marca 2007) był amerykańskim informatykiem . Kierował zespołem, który wynalazł i wdrożył FORTRAN , pierwszy szeroko stosowany język programowania wysokiego poziomu , i był wynalazcą formy Backusa-Naura (BNF), powszechnie używanej notacji do definiowania składni języka formalnego . Później prowadził badania nad programowaniem na poziomie funkcji paradygmatu, prezentując swoje odkrycia w swoim wpływowym wykładzie w ramach nagrody Turinga z 1977 r. „Can Programming Be Liberated from the von Neumann Style?”

IEEE przyznał Backusowi nagrodę WW McDowell Award w 1967 roku za rozwój FORTRAN. Otrzymał Narodowy Medal Nauki w 1975 roku i Nagrodę Turinga w 1977 roku „za głęboki, wpływowy i trwały wkład w projektowanie praktycznych systemów programowania wysokiego poziomu, zwłaszcza poprzez pracę nad FORTRANem, oraz za publikację formalnych procedur specyfikacji języków programowania”.

Przeszedł na emeryturę w 1991 roku i zmarł w swoim domu w Ashland w stanie Oregon 17 marca 2007 roku.

Wczesne życie

Backus urodził się w Filadelfii i dorastał w pobliskim Wilmington w stanie Delaware . Studiował w The Hill School w Pottstown w Pensylwanii , ale najwyraźniej nie był pilnym uczniem. Wstąpił do college'u na University of Virginia , aby studiować chemię , ale miał tam problemy z zajęciami i został wydalony po niecałym roku za słabą frekwencję. Następnie został wcielony do armii amerykańskiej podczas II wojny światowej , a ostatecznie doszedł do stopnia kaprala, będąc dowódcą baterii przeciwlotniczej stacjonującej w Fort Stewart w stanie Georgia .

Po uzyskaniu wysokich wyników w teście umiejętności wojskowych, armia wysłała go na studia inżynierskie na Uniwersytecie w Pittsburghu . Później przeniósł się do programu przedmedycznego w Haverford College . Podczas stażu w szpitalu zdiagnozowano u niego guza kości czaszki , który udało się usunąć, aw jego głowie zamontowano płytkę. Następnie przeniósł się do szkoły medycznej Flower and Fifth Avenue Medical School , ale uznał to za nieinteresujące i porzucił naukę po dziewięciu miesiącach. Wkrótce przeszedł drugą operację, aby wymienić metalową płytkę w głowie na własną konstrukcję i otrzymał honorowe zwolnienie lekarskie z armii amerykańskiej w 1946 roku.

Fortran

Po przeprowadzce do Nowego Jorku trenował początkowo jako technik radiowy i zainteresował się matematyką. Ukończył Columbia University z tytułem licencjata w 1949 r. I tytułem magistra w 1950 r., Oba z matematyki, i dołączył do IBM w 1950 r. Przez pierwsze trzy lata pracował nad elektronicznym kalkulatorem sekwencji selektywnej (SSEC) ; jego pierwszym dużym projektem było napisanie programu do obliczania pozycji Księżyca . W 1953 Backus opracował język Speedcoding , pierwszy język wysokiego poziomu stworzony dla komputera IBM, aby pomóc w tworzeniu oprogramowania dla komputera IBM 701 .

Programowanie było wówczas bardzo trudne iw 1954 roku Backus zebrał zespół, który miał opracować i opracować Fortran dla komputera IBM 704 . Fortran był pierwszym szeroko stosowanym językiem programowania wysokiego poziomu. Ten powszechnie używany język sprawił, że komputery stały się praktycznymi i dostępnymi maszynami dla naukowców i innych osób, nie wymagając od nich głębokiej wiedzy na temat maszyn.

Forma Backusa-Naura

Główny artykuł: formularz Backusa – Naura

Backus był członkiem międzynarodowych komitetów, które opracowały ALGOL 58 i bardzo wpływowy ALGOL 60 , który szybko stał się de facto światowym standardem publikowania algorytmów . Backus opracował formę Backusa – Naura (BNF), opublikowaną w raporcie UNESCO na temat ALGOL 58. Była to formalna notacja zdolna opisać dowolny bezkontekstowy język programowania i była ważna w rozwoju kompilatorów . Wypróbowano kilka odstępstw od tego podejścia - zwłaszcza w Lispie i APL — ale w latach siedemdziesiątych XX wieku, po opracowaniu zautomatyzowanych generatorów kompilatorów, takich jak yacc , bezkontekstowe specyfikacje Backus-Naur dla języków komputerowych stały się dość standardowe. Ten wkład pomógł Backusowi zdobyć nagrodę Turinga w 1977 roku.

Programowanie na poziomie funkcji

Backus pracował później nad językiem programowania na poziomie funkcji, znanym jako FP , który został opisany w jego wykładzie z nagrodą Turinga „Can Programming Be Liberated from the von Neumann Style ?”. Czasami postrzegany jako przeprosiny Backusa za stworzenie Fortrana, ten artykuł zrobił mniej, aby wzbudzić zainteresowanie językiem FP, niż ogólnie zapoczątkować badania nad programowaniem funkcjonalnym . Kiedy Backus opublikował styl programowania na poziomie funkcji, jego przesłanie było w większości źle rozumiane jako takie samo, jak w przypadku tradycyjnych języków programowania funkcjonalnego.

FP był silnie inspirowany APL Kennetha E. Iversona , nawet używając niestandardowego zestawu znaków . Interpreter FP był dystrybuowany z systemem operacyjnym Unix 4.2BSD , ale było stosunkowo niewiele implementacji tego języka, z których większość była używana do celów edukacyjnych.

Backus spędził drugą część swojej kariery rozwijając FL (od „Function Level”), następcę FP. FL był wewnętrznym projektem badawczym IBM, a rozwój języka został zatrzymany po zakończeniu projektu. Pozostało tylko kilka dokumentów je dokumentujących, a kod źródłowy opisanego w nich kompilatora nie został upubliczniony. FL był w sprzeczności z funkcjonalnymi językami programowania rozwijanymi w latach 80., z których większość była oparta na rachunku lambda i typowaniu statycznym systemów zamiast, jak w APL, konkatenacji prymitywnych operacji. Wiele pomysłów języka zostało zaimplementowanych w wersjach języka programowania J , następcy APL Iversona.

Nagrody i wyróżnienia

• Nazwany IBM Fellow (1963)
• Nagroda WW McDowell (1967)
• Narodowy Medal Nauki (1975)
• Nagroda Turinga (1977)
• Członek Amerykańskiej Akademii Sztuki i Nauki (1985)
• Doktor honoris causa Université Henri-Poincaré (1989)
• Nagroda Drapera (1993)
• Nagroda członka Muzeum Historii Komputerów „za rozwój FORTRAN, wkład w teorię systemów komputerowych i zarządzanie projektami oprogramowania”. (1997)
• Asteroida 6830 Johnbackus nazwana na jego cześć (1 czerwca 2007) †

Zobacz też

• Lista pionierów informatyki

Linki zewnętrzne

• Biografia w Szkole Matematyki i Statystyki Uniwersytetu St Andrews w Szkocji
• Biografia w The History of Computing Project
• Projekt FL (plik Postscript)
• „Nekrolog Johna W. Backusa” . New York Timesa . 20 marca 2007.
• Archiwa IBM'a
• O BNF
• Muzeum Historii Komputerów Hall of Fellows
•    Campbell-Kelly, Martin (kwiecień 2007). „Nekrolog: John Backus (1924–2007): wynalazca najbardziej rozpowszechnionego języka programowania nauki, Fortran” . Natura . 446 (7139): 998. doi : 10.1038/446998a . PMID 17460658 . S2CID 4325337 .
• Memoriał wygłoszony na konferencji 2007 na temat projektowania i wdrażania języka programowania