Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Эта статья про компьютерного ученого. Для физика см. Джона Бэкуса (акустика) . Что касается министра, см. Джона Честера Бэкуса .

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

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

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

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

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

Ранняя жизнь [ править ]

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

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

Фортран [ править ]

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

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

Форма Бэкуса – Наура [ править ]

Основная статья: форма Бэкуса – Наура

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

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

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

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

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

Награды и награды [ править ]

  • Назван стипендиатом IBM (1963 г.) [12]
  • Награжден премией У. В. Макдауэлла (1967) [2]
  • Получил Национальную медаль науки (1975 г.) [3].
  • Награжден премией ACM Turing (1977) [4].
  • Член Американской академии искусств и наук (1985) [13]
  • Доктор Honoris Causa Université Анри Пуанкаре (1989) [14]
  • Присужден Приз Дрейпера (1993) [15]
  • Награжден премией научного сотрудника Музея истории компьютеров «за разработку FORTRAN, вклад в теорию компьютерных систем и управление проектами программного обеспечения». (1997) [16]
  • В его честь назван астероид 6830 Johnbackus (1 июня 2007 г.) †

См. Также [ править ]

  • Список пионеров информатики

Ссылки [ править ]

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

Внешние ссылки [ править ]

  • Биография в Школе математики и статистики Университета Сент-Эндрюс, Шотландия
  • Биография на The History of Computing Project
  • Проект FL (файл Postscript)
  • "Некролог для Джона В. Бэкуса" . Нью-Йорк Таймс . 20 марта 2007 г.
  • Архивы IBM
  • О BNF
  • Зал стипендиатов Музей компьютерной истории
  • Кэмпбелл-Келли, Мартин (апрель 2007 г.). «Некролог: Джон Бэкус (1924–2007): Изобретатель самого распространенного в науке языка программирования, Фортрана». Природа . 446 (7139): 998. DOI : 10.1038 / 446998a . PMID  17460658 . S2CID  4325337 .
  • Мемориал на конференции 2007 года по разработке и реализации языков программирования