John W. Backus
De Viquipèdia
John Backus (Filadelfia, 3 de desembre de 1924 - Oregon, 17 de març de 2007) va ser un informàtic estatunidenc, guanyador del Premi Turing el 1977 pels seus treballs en sistemes de programació d'alt nivell, en especial pel seu treball amb FORTRAN.
Per evitar les dificultats de programació de les calculadors de l'època, el 1954 Backus es va encarcar de la direcció d'un projecte d'investigació a IB pel realitzar el llenguatge de programació més proper a la notació matemàtica normal. D'aquest projecte va sorgir el llenguatge de programació FORTRAN, el primer dels llenguatges de programació d'alt nivell que va tenir un gran impacte, fins i tot comercial, a l'emergent comunitat informàtica.
Despŕes de la realització de FORTRAN, Backus va ser un membre molt actiu del comité internacional que s'encarga del projecte del llenguatge ALGOL. En aquest context, va proposar una notació per la representació de les gramàtiques usades en la definició d'un llenguatge de programació (les anomenada gramàtiques externes al context). Aquesta notació es coneix com a BNF, o Forma de Naur i Backus (Backus-Naur Form) i uneix el nom de Backus al de Peter Naur, un informàtic europeu del comité ALGOL que va contribuir a la seva definició.
Els anys 1970, Backus es va interessar per la programació funcional, i va projectar el llenguatge de programació FP, descrit al text que li va servir per guanyar el premi Turing, "Can Programming be Liberated from the Von Neumann Style?". Es tracta d'un llenguatge d'us acadèmic, que va animar una gran número d'investigadors. El projecte FP, transformant e FL, va acabar quan Backus es va jubilar a IBM, el 1991.
|
---|
Perlis (1966) • Wilkes (1967) • Hamming (1968) • Minsky (1969) • Wilkinson (1970) • McCarthy (1971) • Dijkstra (1972) • Bachman (1973) • Knuth (1974) • Newell / Simon (1975) • Rabin / Scott (1976) • Backus (1977) • Floyd (1978) • Iverson (1979) • Hoare (1980) • Codd (1981) • Cook (1982) • Thompson / Ritchie (1983) • Wirth (1984) • Karp (1985) • Hopcroft / Tarjan (1986) • Cocke (1987) • Sutherland (1988) • Kahan (1989) • Corbató (1990) • Milner (1991) • Lampson (1992) • Hartmanis / Stearns (1993) • Feigenbaum / Reddy (1994) • Blum (1995) • Pnueli (1996) • Engelbart (1997) • Gray (1998) • Brooks (1999) • Yao (2000) • Dahl / Nygaard (2001) • Rivest / Shamir / Adleman (2002) • Kay (2003) • Cerf / Kahn (2004) • Naur (2005) • Allen (2006) Clarke / Emerson / Sifakis (2007) • |