John Backus: Difference between revisions

Source: Wikipedia, the free encyclopedia.
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
ClueBot NG. (3491761) (Bot)
→‎Backus–Naur form: Trying to build this section up a bit
Line 45: Line 45:


==Backus–Naur form==
==Backus–Naur form==
Backus served on the international committees that developed [[ALGOL 58]] and the very influential [[ALGOL 60]], which quickly became the ''de facto'' worldwide standard for publishing [[algorithm]]s. Backus developed the [[Backus–Naur form]] (BNF), in the [[UNESCO]] report on ALGOL 58. It was a formal notation able to describe any [[context-free]] programming language, and was important in the [[History of compiler writing|development of compilers]]. This contribution helped Backus win the [[Turing Award]].
Backus served on the international committees that developed [[ALGOL 58]] and the very influential [[ALGOL 60]], which quickly became the ''de facto'' worldwide standard for publishing [[algorithm]]s. Backus developed the [[Backus–Naur form]] (BNF), in the [[UNESCO]] report on ALGOL 58. It was a formal notation able to describe any [[context-free]] programming language, and was important in the [[History of compiler writing|development of compilers]]. A few deviations from this approach were tried—notably in [[Lisp (programming language)|Lisp]] and [[APL (programming language)|APL]]—but by the 1970s, following the development of automated compiler generators such as [[yacc]], Backus–Naur context-free specifications for computer languages had become quite standard. This contribution helped Backus win the [[Turing Award]] in 1977.


==Function-level programming==
==Function-level programming==

Revision as of 17:20, 5 October 2018

This article is about the computer scientist. For the physicist, see John Backus (acoustician). For the minister, see John Chester Backus.

John Backus
IBM

John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backus–Naur form (BNF), a widely used notation to define formal language syntax. He later did research into the function-level programming paradigm, presenting his findings in his influential 1977 Turing Award lecture "Can Programming Be Liberated from the von Neumann Style?"

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 publication of formal procedures for the specification of programming languages".[3]

He retired in 1991 and died at his home in Ashland, Oregon on March 17, 2007.[4]

Early life

Backus was born in Philadelphia and grew up in nearby Wilmington, Delaware.[5] He studied at 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 conscripted into the U.S. Army.[4] He began medical training at Haverford College[6] and, during an internship at a hospital, he was diagnosed with a cranial bone tumor, which was successfully removed; a plate was installed in his head, and he ended medical training after nine months and a subsequent operation to replace the plate with one of his own design.[7]

Fortran

After moving to New York City he trained initially as a radio technician and became interested in mathematics. He graduated from Columbia University with a bachelor's degree in 1949 and a master's degree in 1950, both in mathematics,[8] 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 Backus developed the language Speedcoding, the first high-level language created for an IBM computer, to aid in software development for the IBM 701 computer.[9]

Programming was very difficult at this time, and in 1954 Backus assembled a team to define and develop Fortran for the IBM 704 computer. Fortran was the first high-level programming language to be put to broad use.

Backus–Naur form

Backus served on the international committees that developed

development of compilers. A few deviations from this approach were tried—notably in Lisp and APL—but by the 1970s, following the development of automated compiler generators such as yacc, Backus–Naur context-free specifications for computer languages had become quite standard. This contribution helped Backus win the Turing Award
in 1977.

Function-level programming

Backus later worked on a

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. When Backus publicized the function-level style of programming, his message was mostly misunderstood[10]
as being the same as traditional functional programming style languages.

FP was strongly inspired by

APL, even using a non-standard character set. An FP interpreter was distributed with the 4.2BSD Unix
operating system, but there were relatively few implementations of the language, most of which were used for educational purposes.

Backus spent the latter part of his career developing

static typing systems instead of, as in APL, the concatenation of primitive operations. Many of the language's ideas have now been implemented in versions of the J programming language
, Iverson's successor to APL.

Awards and honors

See also

References

  1. ^ a b "W. Wallace McDowell Award". Archived from the original on September 29, 2007. Retrieved April 15, 2008. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  2. ^ a b "The President's National Medal of Science: John Backus". National Science Foundation. Archived from the original on September 29, 2007. Retrieved March 21, 2007. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  3. ^ a b "ACM Turing Award Citation: John Backus". Association for Computing Machinery. Archived from the original on February 4, 2007. Retrieved March 22, 2007.
  4. ^ a b c Lohr, Steve (March 20, 2007). "John W. Backus, 82, Fortran Developer, Dies". New York Times. Retrieved March 21, 2007.
  5. ^ "John Backus". The History of Computing Project. Archived from the original on April 27, 2016. Retrieved April 28, 2016. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  6. ^ "Inventor of the Week Archive John Backus". February 2006. Archived from the original on October 26, 2011. Retrieved August 25, 2011. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  7. ^ Grady Booch (interviewer) (September 25, 2006). "Oral History of John Backus" (PDF). Archived from the original (pdf) on August 26, 2011. Retrieved August 17, 2009. {{cite web}}: |author= has generic name (help); Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  8. ^ "John Backus - A.M. Turing Award Laureate". amturing.acm.org. Archived from the original on January 19, 2018. Retrieved May 4, 2018. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  9. doi:10.1147/rd.255.0535. Archived from the original on May 23, 2014. {{cite journal}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help
    )
  10. ^ Hudak, Paul (1989). "Conception, Evolution, And Application Of Functional Programming Languages". ACM Computing Surveys, Vol. 21, No. 3
  11. ^ "John Backus". IBM Archives. Archived from the original on August 26, 2011. Retrieved March 21, 2007. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  12. ^ "Book of Members, 1780–2010: Chapter B" (PDF). American Academy of Arts and Sciences. Archived from the original (PDF) on July 25, 2011. Retrieved April 28, 2011. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  13. ^ "John Backus". Archived from the original on May 14, 2008. Retrieved April 15, 2008. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  14. ^ "Recipients of the Charles Stark Draper Prize". Archived from the original on March 2, 2010. Retrieved March 26, 2007. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)
  15. ^ "Fellow Awards 1997 Recipient John Backus". Archived from the original on July 9, 2010. Retrieved April 15, 2008. {{cite web}}: Unknown parameter |deadurl= ignored (|url-status= suggested) (help)

External links

Wikiquote has quotations related to John Backus.
Retrieved from "https://en.wikipedia.org/w/index.php?title=John_Backus&oldid=862634680"