John Backus

John Backus
SzületettJohn Warner Backus
1924. december 3.
Philadelphia, Pennsylvania, Amerikai Egyesült Államok
Elhunyt2007. március 17. (82 évesen)
Ashland, Oregon, Amerikai Egyesült Államok
Állampolgárságaamerikai USA
Foglalkozása
Iskolái
Kitüntetései
  • IBM Fellow (1963)[1]
  • W. Wallace McDowell Award (1967)[2]
  • Nemzeti Tudományos Érem (1975)[2]
  • Turing-díj (1977)[3]
  • Harold Pender Award (1983)[4]
  • IRI Achievement Award (1984)
  • American Academy of Arts and Sciences tiszteleti tagja (1985)
  • honorary doctorate of the Henri Poincaré University (1989. január 4.)[5]
  • Charles Stark Draper-díj (1993)[6]
  • Computer History Museum fellow (1997)[7]
  • Programming Languages Achievement Award (2004)[8]
SírhelyeSan Francisco Columbarium (Section F Tier 4)[9]
A Wikimédia Commons tartalmaz John Backus témájú médiaállományokat.
Sablon • Wikidata • Segítség

John Warner Backus (Philadelphia, 1924. december 3. – Ashland, 2007. március 17.) amerikai informatikus volt. Ő vezette azt a csapatot, amely feltalálta és megvalósította a FORTRAN-t, az első széles körben használt magas szintű programozási nyelvet, és ő volt a Backus–Naur-forma (BNF) feltalálója, amely egy széles körben használt jelölés a formális nyelvek szintaxisának meghatározására. Később a függvényszintű(wd) programozási paradigmát kutatta, és eredményeit az 1977-es Turing-díjjal elismert, nagy hatású „Can Programming Be Liberated from the von Neumann Style?” című előadásában mutatta be.[10]

Az IEEE 1967-ben W. W. McDowell-díjjal(wd) tüntette ki Backust a FORTRAN kifejlesztéséért.[11] 1975-ben megkapta a Nemzeti Tudományos Érem kitüntetést[12] és 1977-ben a Turing-díjat „a gyakorlati magas szintű programozási rendszerek tervezéséhez való mélyreható, befolyásos és maradandó hozzájárulásáért, különösen a FORTRAN-on végzett munkája révén, valamint a programozási nyelvek specifikációjára vonatkozó formális eljárások közzétételéért”.[13]

John Backus 1991-ben vonult nyugdíjba. Az oregoni Ashlandben, otthonában halt meg 2007. március 17-én.[14]

Fiatalkora

Backus Philadelphiában született, és a közeli Wilmingtonban, Delaware államban nőtt fel.[15] A pennsylvaniai Pottstownban(wd), a The Hill Schoolban tanult, de láthatóan nem volt szorgalmas diák.[14] A Virginiai Egyetemre járt kémia szakra, de ott nem boldogult az óráival, és kevesebb mint egy év után kicsapták, mert nem látogatta az órákat.[16] Ezt követően a második világháború alatt besorozták az amerikai hadseregbe,[14] és végül tizedesi rangig jutott, majd a georgiai Fort Stewartban(wd) állomásozó légvédelmi üteg parancsnoka lett.[16]

Miután magas pontszámot ért el egy katonai alkalmassági teszten, a hadsereg elküldte mérnöki tanulmányokra a Pittsburghi Egyetemre.[16] Később átiratkozott a Haverford College(wd) orvosi előkészítő programjára.[17] Egy kórházi gyakorlat során koponyacsont-daganatot diagnosztizáltak nála, amelyet sikeresen eltávolítottak, és egy lemezt ültettek a fejébe. Ezután a Flower and Fifth Avenue Medical School orvosi egyetemre váltott, de érdektelennek találta, és kilenc hónap után abbahagyta.[16] Hamarosan egy második műtéten is átesett, hogy a fejében lévő fémlemezt egy saját tervezésűre cseréljék,[18] majd 1946-ban tiszteletbeli orvosként szerelték le az amerikai hadseregtől.[16]

Fortran

New Yorkba költözése után kezdetben rádiótechnikusnak tanult, és érdeklődni kezdett a matematika iránt. A Columbia Egyetemen 1949-ben alapdiplomát, majd 1950-ben mesterfokú diplomát szerzett, mindkettőt matematikából,[16][19] és 1950-ben csatlakozott az IBM-hez. Az első három évben a Selective Sequence Electronic Calculatoron (SSEC(wd)) dolgozott[20]; első nagyobb projektje egy olyan program megírása volt, amely a Hold pozícióit számította ki. 1953-ban Backus kifejlesztette a Speedcoding(wd) nyelvet, az első magas szintű nyelvet, amelyet az IBM 701-es(wd) számítógéphez[21] készítettek, hogy segítse a szoftverfejlesztést.[22]

A programozás ebben az időben nagyon nehéz volt, és 1954-ben Backus összeállított egy csapatot, hogy meghatározza és kifejlessze a Fortran nyelvet az IBM 704(wd) számítógép számára.[23] A Fortran volt az első magas szintű programozási nyelv, amelyet széles körben alkalmaztak. Ez a széles körben használt nyelv a tudósok és mások számára is praktikus és hozzáférhető gépekké tette a számítógépeket anélkül, hogy a gépek mélyreható ismeretére lett volna szükségük.[24]

Backus–Naur form

Backus tagja volt az ALGOL 58(wd)[25] és a nagy hatású ALGOL 60(wd)[26] nemzetközi bizottságainak, amelyek hamarosan az algoritmusok publikálásának de facto világszabvánnyá váltak. Backus dolgozta ki a Backus-Naur-formát (BNF), amelyet az UNESCO ALGOL 58-ról szóló jelentésében tett közzé. Ez egy olyan formális jelölés volt, amely képes volt bármilyen kontextusmentes programozási nyelv(wd)[27] leírására, és fontos szerepet játszott a fordítóprogramok fejlesztésében. Néhány eltérést kipróbáltak ettől a megközelítéstől (különösen a Lisp és az APL esetében), de az 1970-es évekre a Backus-Naur környezetfüggetlen specifikációk a számítógépes nyelvek számára meglehetősen standarddá váltak, az automatikus fordítógenerátorok, például a yacc kifejlesztését követően.

Ennek köszönhetően Backus 1977-ben elnyerte a Turing-díjat.

Function-level programming

Backus később egy függvényszintű programozási(wd)[28] nyelven, az FP-n(wd) („Functional Programming”) dolgozott, amelyet a „Can Programming be Liberated from the von Neumann Style?” című Turing-díjas előadásában ismertetett.[10] Néha úgy tekintenek rá, mint Backus bocsánatkérésére a Fortran megalkotásáért, de ez a dokumentum kevésbé az FP nyelv(wd) iránti érdeklődés felkeltésére, mint inkább a funkcionális programozással kapcsolatos kutatások általános fellendítésére szolgált. Amikor Backus nyilvánosságra hozta a függvényszintű programozási stílust, üzenetét többnyire félreértették[29], mivel az megegyezett a hagyományos funkcionális programozási stílusú nyelvekkel.

Az FP-t erősen inspirálta Kenneth E. Iverson(wd)[30] APL-je, még a nem szabványos karakterkészletet is használta. A 4.2BSD Unix operációs rendszerrel együtt egy FP-interpretert is terjesztettek, de a nyelvnek viszonylag kevés implementációja volt, amelyek többsége oktatási célokra szolgált.

Backus pályafutása második felében az FL(wd) („Function Level”), az FP utódjának kifejlesztésével foglalkozott. Az FL az IBM belső kutatási projektje volt, és a nyelv fejlesztése a projekt befejeztével leállt. Csak néhány dokumentáló írás maradt fenn, és az ezekben leírt fordító forráskódját nem hozták nyilvánosságra. Az FL ellentétben állt az 1980-as években kifejlesztett funkcionális programozási nyelvekkel, amelyek többsége a lambda-kalkuluson és statikus tipizálási rendszereken[31] alapult, ahelyett, hogy - mint az APL-ben - primitív műveletek összekapcsolására épült volna. A nyelv számos ötletét mára már az APL Iverson-féle[30] utódjának, a J programozási nyelvnek(wd) a változataiban is megvalósították.

Díjai

Jegyzetek

  1. ↑ https://www.ibm.com/ibm/history/exhibits/builders/builders_backus.html, 2022. február 17.
  2. ↑ a b MacTutor History of Mathematics archive
  3. ↑ John Backus. Association for Computing Machinery
  4. ↑ https://events.seas.upenn.edu/distinguished-lectures/pender-lecture/
  5. ↑ Journal officiel de la République française (francia nyelven), 1989. január 11.
  6. ↑ https://www.nae.edu/55073/John-Backus, 2022. február 17.
  7. ↑ https://web.archive.org/web/20100709005030/http://www.computerhistory.org/fellowawards/hall/bios/John,Backus/, 2022. február 17.
  8. ↑ https://www.sigplan.org/Awards/Achievement/
  9. ↑ Find a Grave (angol nyelven)
  10. ↑ a b Backus, John (1978. augusztus 1.). „Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs”. Communications of the ACM 21 (8). DOI:10.1145/359576.359579. 
  11. ↑ a b W. Wallace McDowell Award. [2007. szeptember 29-i dátummal az eredetiből archiválva]. (Hozzáférés: 2008. április 15.)
  12. ↑ a b The President's National Medal of Science: John Backus. National Science Foundation. [2007. szeptember 29-i dátummal az eredetiből archiválva]. (Hozzáférés: 2007. március 21.)
  13. ↑ a b ACM Turing Award Citation: John Backus. Association for Computing Machinery. [2007. február 4-i dátummal az eredetiből archiválva]. (Hozzáférés: 2007. március 22.)
  14. ↑ a b c Lohr, Steve. „John W. Backus, 82, Fortran Developer, Dies”, The New York Times, 2007. március 20. (Hozzáférés: 2007. március 21.) 
  15. ↑ John Backus. The History of Computing Project. [2016. április 27-i dátummal az eredetiből archiválva]. (Hozzáférés: 2016. április 28.)
  16. ↑ a b c d e f John Backus - A.M. Turing Award Laureate. ACM A.M. Turing Award . [2018. január 19-i dátummal az eredetiből archiválva]. (Hozzáférés: 2018. május 4.)
  17. ↑ Inventor of the Week Archive John Backus. Lemelson-MIT Program , 2006. február 1. [2011. október 26-i dátummal az eredetiből archiválva]. (Hozzáférés: 2011. augusztus 25.)
  18. ↑ Grady Booch: Oral History of John Backus, 2006. szeptember 25. (Hozzáférés: 2009. augusztus 17.)
  19. ↑ John Backus. www.columbia.edu . (Hozzáférés: 2021. október 2.)
  20. ↑ Az IBM Selective Sequence Electronic Calculator (SSEC) az IBM által épített elektromechanikus számítógép volt.
  21. ↑ Az IBM 701 elektronikus adatfeldolgozó gép, amelyet fejlesztés közben Defense Calculatornak neveztek, az IBM első kereskedelmi tudományos számítógépe és első sorozatgyártású nagyszámítógép volt, amelyet 1952. május 21-én jelentettek be a nyilvánosságnak.
  22. ↑ Allen, F.E. (1981. szeptember 1.). „The History of Language Processor Technology in IBM”. IBM Journal of Research and Development 25 (5), 535–548. o. DOI:10.1147/rd.255.0535. 
  23. ↑ Az IBM 704 az IBM által 1954-ben bemutatott nagyméretű digitális mainframe számítógép.
  24. ↑ John Backus | Lemelson. lemelson.mit.edu . (Hozzáférés: 2023. február 7.)
  25. ↑ Az ALGOL 58, eredeti nevén IAL, az ALGOL számítógépes programozási nyelvek családjába tartozik.
  26. ↑ Az ALGOL 60 (az Algorithmic Language 1960 rövidítése) az ALGOL számítógépes programozási nyelvek családjának tagja.
  27. ↑ A formális nyelv-elméletben a kontextusmentes nyelv, más néven Chomsky 2-es típusú nyelv, egy környezetfüggetlen nyelvtan által generált nyelv.
  28. ↑ Az informatikában a függvényszintű programozás a John Backus által a programokról mint matematikai objektumokról szóló munkájában azonosított két ellentétes programozási paradigma egyikére utal, a másik az értékszintű programozás(wd).
  29. ↑ Hudak, Paul (1989). "Conception, Evolution, And Application Of Functional Programming Languages". ACM Computing Surveys, Vol. 21, No. 3
  30. ↑ a b Kenneth Eugene Iverson (1920. december 17. – 2004. október 19.) kanadai informatikus, aki az APL programozási nyelv fejlesztéséről ismert.
  31. ↑ A statikus típusellenőrzés (Static type checking) a program szövegének (forráskódjának) elemzése alapján a program típusbiztonságának(wd) ellenőrzését jelenti.
  32. ↑ John Backus. IBM Archives, 2003. január 23. [2011. augusztus 26-i dátummal az eredetiből archiválva]. (Hozzáférés: 2007. március 21.)
  33. ↑ Book of Members, 1780–2010: Chapter B. American Academy of Arts and Sciences. [2011. július 25-i dátummal az eredetiből archiválva]. (Hozzáférés: 2011. április 28.)
  34. ↑ John Backus. [2008. május 14-i dátummal az eredetiből archiválva]. (Hozzáférés: 2008. április 15.)
  35. ↑ Recipients of the Charles Stark Draper Prize. [2010. március 2-i dátummal az eredetiből archiválva]. (Hozzáférés: 2007. március 26.)
  36. ↑ Fellow Awards 1997 Recipient John Backus. [2010. július 9-i dátummal az eredetiből archiválva]. (Hozzáférés: 2008. április 15.)

További információk

  • John Backus Conference on Programming Language Design and Implementation (2007)

Fordítás

  • Ez a szócikk részben vagy egészben a John Backus című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.