Джон Бэкус

(Перенаправлено от Джона В. Бэкуса )

Джон Бэкус
Бэкус в декабре 1989 года
Рожденный
Джон Уорнер Бэкус

( 1924-12-03 ) 3 декабря 1924 г.
Умер 17 марта 2007 г. (17 марта 2007 г.) (82 года)
Альма-матер Университет Вирджинии
Университет Питтсбурга
Хаверфордский колледж
Колумбийский университет (BS 1949, MS 1950)
Известный Спидкодирование
ФОРТРАН
АЛГОЛ
Форма Бэкуса – Наура
Программирование на функциональном уровне
Супруги
Марджори Джеймисон
( м. 1947–1966)
Барбара Уна
( м. 1968; умер в 2004 г.)

Дети 2
Награды Национальная медаль науки (1975 г.)
Премия Тьюринга (1977)
Премия Чарльза Старка Дрейпера (1993)
Научная карьера
Поля Информатика
Учреждения ИБМ

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

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

Джон Бэкус вышел на пенсию в 1991 году. Он умер в своем доме в Эшленде, штат Орегон , 17 марта 2007 года. [5]

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

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

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

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

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

Программирование в то время было очень трудным, и в 1954 году Бэкус собрал команду, чтобы определить и разработать Фортран для компьютера IBM 704 . Фортран был первым языком программирования высокого уровня, получившим широкое распространение. Этот широко используемый язык сделал компьютеры практичными и доступными машинами для ученых и других людей, не требуя от них глубоких знаний о машинах. [12]

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

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

Этот вклад помог Бэкусу получить премию Тьюринга в 1977 году.

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

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

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

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

Награды и почести [ править ]

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

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

  1. Перейти обратно: Перейти обратно: а б Бэкус, Джон (август 1978 г.). «Можно ли программирование освободить от стиля фон Неймана?: функциональный стиль и его алгебра программ» . Коммуникации АКМ . 21 (8). дои : 10.1145/359576.359579 . S2CID   16367522 .
  2. Перейти обратно: Перейти обратно: а б «Премия В. Уоллеса Макдауэлла» . Архивировано из оригинала 29 сентября 2007 года . Проверено 15 апреля 2008 г.
  3. Перейти обратно: Перейти обратно: а б «Национальная медаль президента в области науки: Джон Бэкус» . Национальный научный фонд. Архивировано из оригинала 29 сентября 2007 года . Проверено 21 марта 2007 г.
  4. Перейти обратно: Перейти обратно: а б «Цитата на премию ACM Тьюринга: Джон Бэкус» . Ассоциация вычислительной техники . Архивировано из оригинала 4 февраля 2007 года . Проверено 22 марта 2007 г.
  5. Перейти обратно: Перейти обратно: а б с Лор, Стив (20 марта 2007 г.). «Умер Джон В. Бэкус, 82 года, разработчик Фортрана» . Нью-Йорк Таймс . Проверено 21 марта 2007 г.
  6. ^ «Джон Бэкус» . Проект «История вычислений» . Архивировано из оригинала 27 апреля 2016 года . Проверено 28 апреля 2016 г.
  7. Перейти обратно: Перейти обратно: а б с д и ж «Джон Бэкус — лауреат премии А. М. Тьюринга» . Премия Тьюринга ACM AM . Архивировано из оригинала 19 января 2018 года . Проверено 4 мая 2018 г.
  8. ^ «Изобретатель недели Архив Джон Бэкус» . Программа Лемельсона-MIT . Февраль 2006. Архивировано из оригинала 26 октября 2011 года . Проверено 25 августа 2011 г.
  9. ^ Грэди Буч (25 сентября 2006 г.). «Устная история Джона Бэкуса» (PDF) . Проверено 17 августа 2009 г.
  10. ^ «Джон Бэкус» . www.columbia.edu . Проверено 2 октября 2021 г.
  11. ^ Аллен, FE (сентябрь 1981 г.). «История технологии языковых процессоров в IBM». Журнал исследований и разработок IBM . 25 (5): 535–548. дои : 10.1147/rd.255.0535 .
  12. ^ «Джон Бэкус | Лемельсон» . lemelson.mit.edu . Проверено 7 февраля 2023 г.
  13. ^ Худак, Пол (1989). «Концепция, эволюция и применение языков функционального программирования». Обзоры вычислительных систем ACM, Vol. 21, № 3
  14. ^ «Джон Бэкус» . Архивы IBM . 23 января 2003. Архивировано из оригинала 26 августа 2011 года . Проверено 21 марта 2007 г.
  15. ^ «Книга участников, 1780–2010: Глава B» (PDF) . Американская академия искусств и наук. Архивировано (PDF) из оригинала 25 июля 2011 г. Проверено 28 апреля 2011 г.
  16. ^ «Джон Бэкус» . Архивировано из оригинала 14 мая 2008 года . Проверено 15 апреля 2008 г.
  17. ^ «Лауреаты премии Чарльза Старка Дрейпера» . Архивировано из оригинала 2 марта 2010 года . Проверено 26 марта 2007 г.
  18. ^ «Получатель награды Fellow Awards 1997 года Джон Бэкус» . Архивировано из оригинала 9 июля 2010 года . Проверено 15 апреля 2008 г.

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