John Backus

From Wikipedia, the free encyclopedia

Jump to: navigation, search

For the physicist, see John Backus (acoustician)

John Backus

Born December 3, 1924(1924-12-03)
Philadelphia, Pennsylvania
Died March 17, 2007 (aged 82)
Ashland, Oregon
Fields Computer Science
Institutions IBM
Known for Speedcoding
FORTRAN
ALGOL
Backus-Naur form
Function-level programming
Notable awards ACM Turing Award
Draper Prize

John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He led the team that invented the first widely used high-level programming language (FORTRAN) and was the inventor of the Backus-Naur form (BNF), the almost universally used notation to define formal language syntax. He also did research in function-level programming and helped to popularize it.

The IEEE awarded Backus the W.W. McDowell Award in 1967 for the development of FORTRAN.[1] He received the National Medal of Science in 1975,[2] and the 1977 ACM Turing Award “for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.”[3]

Contents

[edit] Life and career

Backus was born in Philadelphia, Pennsylvania and grew up in nearby Wilmington, Delaware. He studied at the The Hill School in Pottstown, Pennsylvania, and was apparently not a diligent student.[4] After entering the University of Virginia to study chemistry, he quit and was drafted into the U.S. Army.[4] He began medical training and, during an internship at a hospital, he was diagnosed with a brain tumor, which was successfully removed; a plate was installed in his head, and he dropped out of medical training after nine months and a subsequent operation to replace the plate with one of his own design.[5]

After moving to New York City he initially trained as a radio technician and discovered an interest in mathematics — it would prove to be his calling. He graduated from Columbia University with a Master's degree in 1949, and joined IBM in 1950. During his first three years, he worked on the Selective Sequence Electronic Calculator (SSEC); his first major project was to write a program to calculate positions of the Moon. In 1953, John Backus also developed the language Speedcoding, the first higher-order language created for an IBM computer.[6]

The difficulties of programming were acute, and in 1954 Backus assembled a team to define and develop Fortran for the IBM 704 computer. Though debatably not the first high-level programming language, it was the first to achieve wide use.

Backus made another, critical contribution to early computer science: during the latter part of the 1950s Backus served on the international committees which developed ALGOL 58 and the very influential ALGOL 60, which quickly became the de facto worldwide standard for publishing algorithms. Backus developed the Backus-Naur Form (BNF), in the UNESCO report on ALGOL 58. This was a formal notation with which one could describe any context-free programming language and was important in the development of compilers. This contribution helped Backus win the Turing Award.

He later worked on a "function-level" programming language known as FP which was described in his Turing Award lecture "Can Programming be Liberated from the von Neumann Style?". Sometimes viewed as Backus's apology for creating FORTRAN, this paper did less to garner interest in the FP language than to spark research into functional programming in general. An FP interpreter was distributed with the 4.2BSD Unix operating system. FP was strongly inspired by Kenneth E. Iverson’s APL, even using a non-standard character set. Backus spent the latter part of his career developing FL (from "Function Level"), a successor to FP. FL was an internal IBM research project, and development of the language essentially stopped when the project was finished (only a few papers documenting it remain), but many of the language's innovative, arguably important ideas have now been implemented in Iverson’s J programming language.

Backus was named an IBM Fellow in 1963,[7] and was awarded a degree honoris causa from the University Henri Poincaré in Nancy (France) in 1989[8] and a Draper Prize in 1993.[9] He retired in 1991 and died at his home in Ashland, Oregon on March 17, 2007.[4]

[edit] Awards and honors

[edit] References

  1. ^ a b "W. Wallace McDowell Award". http://www.computer.org/portal/site/ieeecs/menuitem.c5efb9b8ade9096b8a9ca0108bcd45f3/index.jsp?&pName=ieeecs_level1&path=ieeecs/about/awards&file=WallaceMcD_recipients.xml&xsl=generic.xsl&. Retrieved on 2008-04-15. 
  2. ^ a b "The President's National Medal of Science: John Backus". National Science Foundation. http://www.nsf.gov/od/nms/recip_details.cfm?recip_id=25. Retrieved on 2007-03-21. 
  3. ^ a b "ACM Turing Award Citation: John Backus". Association for Computing Machinery. http://www.acm.org/awards/turing_citations/backus.html. Retrieved on 2007-03-22. 
  4. ^ a b c Lohr, Steve (2007-03-20). "John W. Backus, 82, Fortran Developer, Dies". New York Times. http://www.nytimes.com/2007/03/20/business/20backus.html. Retrieved on 2007-03-21. 
  5. ^ Shasha, Dennis; Cathy Lazere (1998). Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists. New York: Springer-Verlag New York, Inc.. ISBN 0-387-98269-8. 
  6. ^ Allen, F.E.. "The History of Language Processor Technology in IBM". IBM Journal of Research Development 25 (5, September 1981). 
  7. ^ a b "John Backus". IBM Archives. http://www-03.ibm.com/ibm/history/exhibits/builders/builders_backus.html. Retrieved on 2007-03-21. 
  8. ^ a b "John Backus". http://www.thocp.net/biographies/backus_john.htm. Retrieved on 2008-04-15. 
  9. ^ a b "Recipients of the Charles Stark Draper Prize". http://www.nae.edu/nae/awardscom.nsf/weblinks/NAEW-4NHMN6?OpenDocument. 
  10. ^ "Fellow Awards 1997 Recipient John Backus". http://www.computerhistory.org/fellowawards/index.php?id=70. Retrieved on 2008-04-15. 

[edit] External links

v • d • e
A. M. Turing Award laureates

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) · Ole-Johan Dahl / Kristen Nygaard (2001) · Ron Rivest / Adi Shamir / Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf / Bob Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) · Barbara Liskov (2008)
v • d • e
National Medal of Science laureates
 
Mathematical, statistical, and computer sciences
1960s
1970s
1980s
1990s
2000s
Persondata
NAME Backus, John Warner
ALTERNATIVE NAMES
SHORT DESCRIPTION Computer scientist
DATE OF BIRTH 1924-12-03
PLACE OF BIRTH Philadelphia, Pennsylvania
DATE OF DEATH 2007-03-17
PLACE OF DEATH Ashland, Oregon
Retrieved from "http://en.wikipedia.org/wiki/John_Backus"
Personal tools