Войти
| Джон Бэкус | |
|---|---|
 Бэкус в декабре 1989 г. | |
| Родился | Джон Уорнер Бэкус. (1924-12-03) 3 декабря 1924. Филадельфия, Пенсильвания |
| Умер | 17 марта 2007 (2007-03-17) (82 года). Ашленд, Орегон |
| Alma mater | Университет Вирджинии. Университет Питтсбурга. Колумбийский университет (BS 1949, MS 1950) |
| Известный | Speedcoding. FORTRAN. АЛГОЛ. Форма Бэкуса – Наура. Программирование на функциональном уровне |
| Награды | Национальная медаль науки (1975). Премия Тьюринга ACM (1977). Премия Чарльза Старка Дрейпера (1993) |
| Научная карьера | |
| Филдс | Информатика |
| Учреждения | IBM |
Джон Уорнер Бэкус (3 декабря, 1924-17 марта 2007 г.) был американским ученым-компьютерщиком. Он руководил командой, которая изобрела и реализовала FORTRAN, первый широко используемый язык программирования высокого уровня, и был изобретателем формы Бэкуса-Наура (BNF), широко используемая нотация для определения синтаксиса формального языка . Позже он исследовал парадигму программирования на функциональном уровне, представив свои выводы в своей влиятельной лекции 1977 года на премии Тьюринга «Можно ли освободить программирование от стиля фон Неймана?»
IEEE присудил Бэкусу W. Премия В. Макдауэлла 1967 г. за разработку FORTRAN. Он получил Национальную медаль науки в 1975 г. и Премию Тьюринга ACM 1977 г. «за глубокий, влиятельный и длительный вклад в разработку практических систем программирования высокого уровня, в частности, благодаря его работа над FORTRAN и публикация формальных процедур для спецификации языков программирования ».
Он вышел на пенсию в 1991 году и умер в своем доме в Ашленде, штат Орегон 17 марта 2007 года.
Бэкус родился в Филадельфии и вырос в соседнем Уилмингтоне, Делавэр. Он учился в The Hill School в Поттстауне, Пенсильвания, и, очевидно, не был прилежным учеником. Он поступил в колледж Университета Вирджинии, чтобы изучать химию, но с трудом изучал там уроки, и менее чем через год был отчислен за плохую посещаемость. Впоследствии он был призван в США. Армия во время Второй мировой войны, и в конце концов получил звание капрала, став командующим зенитной батареей, дислоцированной в Форт Стюарт, Джорджия.
Получив высокие баллы на экзамене на военную пригодность, армия отправила его изучать инженерное дело в Питтсбургский университет. Позже он перешел на доврачебную программу в Хаверфордский колледж. Во время интернатуры в больнице ему поставили диагноз: опухоль черепа кости, которую успешно удалили, а на голову установили пластину. Затем он перешел в медицинскую школу Флауэр и Пятая авеню, но нашел это неинтересным и бросил учебу через девять месяцев. Вскоре он перенес вторую операцию по замене металлической пластины на голове на пластину собственной конструкции и получил почетное увольнение из армии США в 1946 году.
После переезда в Нью-Йорк вначале он учился на радиотехника и заинтересовался математикой. Он окончил Колумбийский университет со степенью бакалавра в 1949 году и со степенью магистра в 1950 году по математике, и присоединился к IBM в 1950 году. В течение первых трех лет он работал над Электронный калькулятор выборочной последовательности (SSEC) ; его первым крупным проектом было написать программу для расчета положения Луны. В 1953 году Бэкус разработал язык Speedcoding, первый язык высокого уровня, созданный для компьютера IBM, чтобы помочь в разработке программного обеспечения для компьютера IBM 701.
Программирование было очень сложно в то время, и в 1954 году Бэкус собрал команду для определения и разработки Fortran для компьютера IBM 704. Fortran был первым языком программирования высокого уровня, получившим широкое распространение.
Бэкус работал в международных комитетах, которые разработали АЛГОЛ 58 и очень влиятельный АЛГОЛ 60, который быстро стал Факто всемирный стандарт публикации алгоритмов. Бэкус разработал форму Бэкуса – Наура (BNF), опубликованную в отчете ЮНЕСКО по АЛГОЛу 58. Это была формальная нотация, способная описать любые контекстно-свободные язык программирования, и был важен при разработке компиляторов. Были опробованы некоторые отклонения от этого подхода, особенно в Lisp и APL, но к 1970-м годам, после разработки генераторов автоматизированных компиляторов, таких как yacc, Backus –Наур контекстно-свободные спецификации для компьютерных языков стали вполне стандартными. Этот вклад помог Бэкусу выиграть Премию Тьюринга в 1977 году.
Позже Бэкус работал над языком программирования на уровне функций, известным как FP, который был описан в его лекции Премии Тьюринга «Можно ли освободить программирование от стиля фон Неймана ?». Этот документ, который иногда рассматривают как извинение Бэкуса за создание Фортрана, не столько вызвал интерес к языку FP, сколько стимулировал исследования функционального программирования в целом. Когда Бэкус опубликовал стиль программирования на уровне функций, его сообщение было в основном неправильно понято как то же, что и традиционные языки функционального программирования.
FP был сильно вдохновлен Kenneth E. Iverson APL, даже с использованием нестандартного набора символов . Интерпретатор FP распространялся с операционной системой 4.2BSD Unix, но было относительно мало реализаций языка, большинство из которых использовалось в образовательных целях.
Бэкус провел последнюю часть своей карьеры, развивая FL (из «Функционального уровня»), преемника FP. FL был внутренним исследовательским проектом IBM, и разработка языка прекратилась, когда проект был завершен. Осталось лишь несколько документов, документирующих это, и исходный код описанного в них компилятора не был обнародован. FL противоречил функциональным языкам программирования, разработанным в 1980-х годах, большинство из которых было основано на системах лямбда-исчисления и статической типизации вместо, как в APL, конкатенации примитивных операции. Многие идеи языка теперь реализованы в версиях языка программирования J, преемника Iverson для APL.
 | Викицитатник содержит цитаты, относящиеся к: Джон Бэкус |
