Коррадо Бём - Corrado Böhm

Коррадо Бём
Родился(1923-01-17)17 января 1923 г.
Милан
Умер23 октября 2017 г.(2017-10-23) (94 года)
Рим
НациональностьИтальянский
Альма-матерETH Zürich
Научная карьера
ПоляИнформатика
УчрежденияРимский университет "Ла Сапиенца"
Докторант
Докторанты

Коррадо Бём (17 января 1923 - 23 октября 2017) был профессором Почетный на Римский университет "Ла Сапиенца" и специалист в области информатики известен особенно своим вкладом в теорию структурное программирование, конструктивная математика, комбинаторная логика, лямбда-исчисление, а также семантика и реализация функциональное программирование языков.

Работа

В своей докторской диссертации (по математике в ETH Zurich, 1951; опубликована в 1954 году) Бём впервые описывает полную метакруговой компилятор, то есть механизм перевода языка программирования, написанный на том же языке. Его самый влиятельный вклад - это так называемый теорема о структурированной программе, опубликованная в 1966 году совместно с Джузеппе Якопини. В лямбда-исчислении он установил важную теорему об отделении нормальных форм. Вместе с Алессандро Берардуччи он продемонстрировал изоморфизм между строго положительными алгебраические типы данных и полиморфные лямбда-термины, иначе известные как кодирование Бема-Берардуччи.[1]

Специальный выпуск Теоретическая информатика был посвящен ему в 1993 году, в день его 70-летия. Он получил награду 2001 г. EATCS Премия за выдающуюся карьеру в теоретической информатике.

Избранные публикации

  • К. Бем, "Цифровые калькуляторы. Распознавание математических формул с помощью механизма, основанного на концепции программы", Annali di Mat. pura e Applicata, серия IV, том XXXVII, 1–51, 1954. PDF в ETH Zürich Английский перевод 2016 Питера Сестофта
  • К. Бём, "О семействе машин Тьюринга и родственном языке программирования", ICC Bull., 3, 185–194, июль 1964 г.
    Введено П'', первый императивный язык без ИДТИ К быть доказанным Полный по Тьюрингу.
  • К. Бём, Дж. Якопини, «Блок-схемы, машины Тьюринга и языки только с двумя правилами формирования», Comm. АКМ, 9(5): 366–371,1966.
  • К. Бём, "Alcune proprietà delle forme β-η-normali nel λ-K-calcolo", Pubbl. INAC, п. 696, Рома, 1968 г.
  • К. Бем, А. Берардуччи, "Автоматический синтез типизированных лямбда-программ на термовалгебрах", Теоретическая информатика, 39: 135–154, 1985.
  • К. Бём, "Функциональное программирование и комбинаторные алгебры", MFCS, Карловы Вары, Чехословакия, ред. М.П. Читил, Л. Джанига и В. Кубек, LNCS 324, 14–26, 1988.

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

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

  1. ^ http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html

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