Джон Бэкус - Википедия - John Backus

Джон Бэкус
Джон Бэкус 2.jpg
Бэкус в декабре 1989 г.
Родившийся
Джон Уорнер Бэкус

(1924-12-03)3 декабря 1924 г.
Умер17 марта 2007 г.(2007-03-17) (82 года)
Альма-матерУниверситет Вирджинии
Питтсбургский университет
Колумбийский университет (Б.С. 1949, М.С. 1950)
ИзвестенSpeedcoding
FORTRAN
АЛГОЛ
Форма Бэкуса – Наура
Программирование на функциональном уровне
НаградыНациональная медаль науки (1975)
Премия ACM Тьюринга (1977)
Приз Чарльза Старка Дрейпера (1993)
Научная карьера
ПоляИнформатика
УчрежденияIBM

Джон Уорнер Бэкус (3 декабря 1924-17 марта 2007) был американцем специалист в области информатики. Он руководил командой, которая придумала и внедрила FORTRAN, первый широко используемый язык программирования высокого уровня, и был изобретателем Форма Бэкуса – Наура (BNF), широко используемое обозначение для определения формальный язык синтаксис. Позже он исследовал программирование на функциональном уровне парадигмы, представив свои открытия в своей влиятельной лекции на премии Тьюринга 1977 года «Можно ли освободить программирование от стиля фон Неймана?»

В IEEE наградил Бакуса Премия В. В. Макдауэлла в 1967 году для разработки FORTRAN.[1] Он получил Национальная медаль науки в 1975 г.[2] и 1977 Премия ACM Тьюринга «За глубокий, влиятельный и длительный вклад в разработку практических систем программирования высокого уровня, в частности, за его работу над FORTRAN, и за публикацию формальных процедур для спецификации языков программирования».[3]

Он вышел на пенсию в 1991 году и умер в своем доме в г. Ашленд, Орегон 17 марта 2007 г.[4]

Ранние годы

Бэкус родился в Филадельфия и вырос поблизости Уилмингтон, Делавэр.[5] Он учился в Школа на холме в Поттстаун, Пенсильвания, и, очевидно, не был прилежным учеником.[4] Он поступил в колледж в Университет Вирджинии учиться химия, но боролся с занятиями там, и менее чем через год был отчислен за плохую посещаемость.[6] Впоследствии он был призван в Армия США в течение Вторая Мировая Война,[4] и, в конце концов, получил звание капрала, став командиром зенитной батареи, дислоцированной в Форт Стюарт, Грузия.[6]

Получив высокие баллы на экзамене на военную пригодность, армия отправила его изучать инженерное дело в Питтсбургский университет.[6] Позже он перешел на доврачебную программу в Хаверфорд Колледж.[7] Во время стажировки в больнице ему поставили диагноз: черепно-мозговая травма. костная опухоль, который был успешно удален, а ему в голову установили пластину. Затем он переехал в Медицинская школа Флауэр и Пятая авеню для медицинской школы, но сочла это неинтересным и бросила учебу через девять месяцев.[6] Вскоре он перенес вторую операцию по замене металлической пластины в его голове на пластину собственной конструкции.[8] и получил почетное медицинское заключение из армии США в 1946 году.[6]

Фортран

После переезда в Нью-Йорк он сначала тренировался как радио техник и увлекся математикой. Он окончил Колумбийский университет со степенью бакалавра в 1949 году и магистра в 1950 году по математике,[6] и присоединился IBM в 1950 году. В течение первых трех лет он работал над Электронный калькулятор выборочной последовательности (SSEC); его первым крупным проектом было написать программу для расчета положения Луна. В 1953 году Бэкус разработал язык Speedcoding, первый язык высокого уровня, созданный для компьютера IBM, чтобы помочь в разработке программного обеспечения для IBM 701 компьютер.[9]

В то время программировать было очень сложно, и в 1954 году Бэкус собрал команду для определения и разработки Фортран для IBM 704 компьютер. Фортран был первым языком программирования высокого уровня, получившим широкое распространение.

Форма Бэкуса – Наура

Бэкус работал в международных комитетах, которые разработали АЛГОЛ 58 и очень влиятельные АЛГОЛ 60, который быстро стал де-факто мировой стандарт публикации алгоритмы. Бэкус разработал Форма Бэкуса – Наура (BNF), опубликованный в ЮНЕСКО отчет по АЛГОЛу 58. Это была формальная нотация, способная описать любые контекстно-свободный язык программирования, и был важен в разработка компиляторов. Было испробовано несколько отклонений от этого подхода, особенно в Лисп и APL - но к 1970-м годам, после разработки автоматических генераторов компиляторов, таких как yacc Контекстно-свободные спецификации Бэкуса – Наура для компьютерных языков стали вполне стандартными. Этот вклад помог Бэкусу выиграть Премия Тьюринга в 1977 г.

Программирование на функциональном уровне

Позже Бэкус работал над язык программирования функционального уровня известный как FP, описанный в его Премия Тьюринга лекция "Можно ли освободить программирование от фон Неймана ? ". Этот документ, который иногда рассматривается как извинение Бэкуса за создание Фортрана, вызвал не столько интерес к языку FP, сколько стимулирование исследований функциональное программирование в целом. Когда Бэкус опубликовал стиль программирования на уровне функций, его сообщение было в основном неправильно понято.[10] как традиционные языки функционального программирования.

FP был сильно вдохновлен Кеннет Э. Айверсон с APL, даже используя нестандартный набор символов. FP устный переводчик был распространен с 4.2BSD Unix операционная система, но было относительно немного реализаций языка, большинство из которых использовалось в образовательных целях.

Бэкус провел последнюю часть своей карьеры, развивая FL (от "Function Level"), преемник FP. FL был внутренним исследовательским проектом IBM, и разработка языка остановилась, когда проект был завершен. Осталось всего несколько документов, документирующих это, и исходный код описанного в них компилятора не был обнародован. FL был в противоречии с функциональными языками программирования, разработанными в 1980-х годах, большинство из которых были основаны на лямбда-исчисление и статическая типизация системы вместо, как в APL, конкатенации примитивных операций. Многие идеи языка теперь реализованы в версиях Язык программирования J, Преемник Айверсона APL.

Награды и отличия

Смотрите также

Рекомендации

  1. ^ а б "Премия У. Уоллеса Макдауэлла". Архивировано из оригинал 29 сентября 2007 г.. Получено 15 апреля, 2008.
  2. ^ а б «Национальная медаль президента в области науки: Джон Бэкус». Национальный фонд науки. В архиве из оригинала от 29 сентября 2007 г.. Получено Двадцать первое марта, 2007.
  3. ^ а б «Ссылка на премию ACM Turing: Джон Бэкус». Ассоциация вычислительной техники. Архивировано из оригинал 4 февраля 2007 г.. Получено 22 марта, 2007.
  4. ^ а б c Лор, Стив (20 марта 2007 г.). «Джон В. Бэкус, 82 года, разработчик Fortran, умер». Нью-Йорк Таймс. Получено Двадцать первое марта, 2007.
  5. ^ "Джон Бэкус". История вычислительного проекта. В архиве из оригинала 27 апреля 2016 г.. Получено 28 апреля, 2016.
  6. ^ а б c d е ж "Джон Бэкус - лауреат премии А.М. Тьюринга". amturing.acm.org. В архиве с оригинала 19 января 2018 г.. Получено 4 мая, 2018.
  7. ^ "Изобретатель архива недели Джон Бэкус". Февраль 2006 г. В архиве из оригинала 26 октября 2011 г.. Получено 25 августа, 2011.
  8. ^ Грэди Буч (интервьюер) (25 сентября 2006 г.). "Устная история Джона Бэкуса" (PDF). Получено 17 августа, 2009.
  9. ^ Аллен, Ф.Э. (сентябрь 1981 г.). «История технологии языковых процессоров в IBM». Журнал исследований и разработок IBM. 25 (5): 535–548. Дои:10.1147 / rd.255.0535.
  10. ^ Худак, Пол (1989). «Концепция, развитие и применение языков функционального программирования». ACM Computing Surveys, Vol. 21, № 3
  11. ^ "Джон Бэкус". Архивы IBM. В архиве с оригинала 26 августа 2011 г.. Получено Двадцать первое марта, 2007.
  12. ^ «Книга членов, 1780–2010: Глава B» (PDF). Американская академия искусств и наук. В архиве (PDF) из оригинала 25 июля 2011 г.. Получено 28 апреля, 2011.
  13. ^ "Джон Бэкус". В архиве с оригинала 14 мая 2008 г.. Получено 15 апреля, 2008.
  14. ^ «Лауреаты премии Чарльза Старка Дрейпера». Архивировано из оригинал 2 марта 2010 г.. Получено 26 марта, 2007.
  15. ^ "Получатель премии Fellow Awards 1997 Джон Бэкус". Архивировано из оригинал 9 июля 2010 г.. Получено 15 апреля, 2008.

внешняя ссылка