Születés |
1924. december 3 Philadelphia |
---|---|
Halál |
2007. március 17(82. évesen) Ashland |
Állampolgárság | Amerikai |
Kiképzés |
Virginia Columbia Egyetem Egyetem |
Tevékenységek | Matematikus , informatikus |
Dolgozott valakinek | IBM |
---|---|
Terület | Számítástechnika |
Tagja valaminek |
Amerikai Tudományos Akadémia Amerikai Művészeti és Tudományos Akadémia |
Fegyveres | Egyesült Államok hadserege |
Konfliktus | Második világháború |
Díjak |
Turing-díj (1977) |
Irattár által őrzött | Számítástörténeti Múzeum |
Gyorskódolás ( d ) |
Majdnem egyértelműsítés : Nem tévesztendő össze John Bacusszal , a Sketchup szoftver termékmenedzserével
John Warner Backus (született Philadelphiában on 1924. december 3 - meghalt Ashland-ben (Oregon) 2007. március 17) amerikai informatikus. Ő annak a csapatnak az igazgatója, amely először használ magas szintű programozási nyelvet, és a Backus-Naur (BNF) forma megalkotója . A funkcionális programozásról kiterjedt kutatásokat is végzett , amelyek népszerűsítésében segített.
1977- ben megkapta a Turing-díjat "a magas szintű programozási nyelvek fejlesztéséért és hozzájárulásáért, különös tekintettel a FORTRAN-on végzett munkájára, valamint a programozási nyelvek specifikációjához használt hivatalos eljárások publikálására".
Ment nyugdíjba 1991 és meghalt otthonában Ashland , Oregon on 2007. március 17.
Backus született Philadelphiában , Pennsylvania . A Pottstown- i The Hill School-ban ( PA) tanul , de nem éppen jó hallgató. Miután belépett a virginiai egyetemre kémia szakra, az Egyesült Államok hadserege toborozta. Alkalmassági vizsgálati eredményei orvosi karrierhez vezetnek. Ezután orvostudományt tanult Harverfordban, majd az Atlantic City kórházban dolgozott . Ott diagnosztizálták agyi tumor , amelyet később sikeresen eltávolítva. Röviddel ezután úgy dönt, hogy befejezi orvosi tanulmányait.
Miután megérkezett New Yorkba , rádiótechnikusként kezdte meg a képzését. Backus felfedezte érdeklődését a matematika iránt, segítve tanárát bizonyos számítások elvégzésében. 1949-ben diplomát szerzett a Columbia Egyetemen, majd 1950-ben csatlakozott az IBM-hez. Az első három évben az SSEC-n ( Selective Sequence Electronic Calculator ) dolgozott . Első nagy projektje egy program megírása a Hold pályájának kiszámításához.
A 1953 , Backus felfedezte a IBM 701 , az utódja a SSEC. Ezután ugyanazzal a problémával szembesül, mint az SSEC esetében: tudományos számítások elvégzése, amelyek lebegőpontos számok használatát igénylik, míg az IBM 701 csak számtani egész számokat támogat. A probléma enyhítésére a Backus kifejlesztette a Speedcoding rendszert, amely lehetővé teszi a program számára, hogy egyszerű lebegőpontos számrendszert használjon.
A 1953 , még mindig nincs igazi programozási nyelv, mint fogant a korai XXI th században. A legtöbb program manuálisan, gépi nyelven vagy egy primitív assembler segítségével íródik. Természetesen létezik a Backus rendszer, a Speedcoding , de a megközelítés nem megfelelő, és az eredmény nagyon lassú. Az IBM 704 érkezése még abban az évben játékváltó lesz. Amellett, hogy hatékonyabb, mint elődje, van egy processzora, amely közvetlenül támogatja a lebegőpontos számokat. Ezért egy olyan rendszer, mint a Speedcoding, szükségtelenné válik.
Miután egy évet töltött a Fortran szintaxisának és működésének leírásával, Backus 1954 novemberében bemutatta a projektet feletteseinek , az IBM Mathematical Formula Translating System FORTRAN specifikációi című jelentésben . Ezután a Backus csapatának több mint két évbe tellett az 1957 elején működő FORTRAN fordító fejlesztése .
Az 1950-es évek végén együttműködött az ALGOL 58 és a nagyon befolyásos ALGOL 60 fejlesztéséért felelős nemzetközi bizottsággal , amely nagyon gyorsan az algoritmusok számítógépes kutatók általi leírásának szabványává vált, és ezt a státust sokáig megőrizte.
Az Algol fejlesztése idején a Backus egy új eszközön dolgozik, amely kifejezi a programozási nyelv hivatalos nyelvtanát. A zürichi ACM-GAMM konferencia javasolt nemzetközi algebrai nyelvének szintaxisa és szemantikája címmel mutatta be munkáját a bizottságnak .1959. június. Ezután Peter Naur, a bizottság másik tagja érdeklődött Backus munkája iránt, és néhány változtatást végrehajtott. A BNF-et (Backus Naur Form for Backus Normal Form helyett) ezután használják az ALGOL 60 leírásához 1960-ban.
Később egy tisztán funkcionális programozási nyelven dolgozott ("funkciószint": funkcionális szinten), amelyet FP néven ismertek. Backus ezt a nyelvet választja a Turing-díjon tartott beszéde során .
Ez a beszéd: „ Felszabadítható-e a programozás a von Neumann-stílustól? : funkcionális stílus és a programok algebra ”(„ Menekülhet-e a programozás von Neumann stílusától? Funkcionális stílus és annak algebraja a programtól ”), amely bemutatja a funkcionális programozás előnyeit, nagyban hozzájárult az érdeklődés felélesztéséhez e paradigma iránt. Egy FP tolmácsot terjesztenek a BSD Unix operációs rendszer 4.2-es verziójával , de a Backus soha nem fog sikerülni terjeszteni a nyelvét.
Backus karrierjének hátralévő részét az FP utódjának FL („Funkció szintről”) fejlesztésével töltötte.