Коррадо Бём - Corrado Böhm
Коррадо Бём | |
---|---|
Родился |
|
17 января 1923 г.
Умер | 23 октября 2017 г. |
(94 года)
Национальность | Итальянский |
Альма-матер | ETH Zürich |
Научная карьера | |
Поля | Информатика |
Учреждения | Римский университет "Ла Сапиенца" |
Докторант | |
Докторанты |
Corrado Бем (17 января 1923 - 23 октября 2017) был профессором в отставке в Римском университете «Ла Сапьенца» и компьютерного ученого , известного прежде всего за его вклад в теорию структурного программирования , конструктивной математики , комбинаторной логики , лямбда - исчисления , и семантика и реализация языков функционального программирования .
Работа
В своей докторской диссертации (по математике, ETH Zurich, 1951; опубликована в 1954 году) Бём впервые описывает полный метакруговой компилятор , то есть механизм перевода языка программирования, написанный на том же языке. Его наиболее значительный вклад - это так называемая теорема о структурированной программе , опубликованная в 1966 году вместе с Джузеппе Якопини. В лямбда-исчислении он установил важную теорему об отделении нормальных форм. Вместе с Алессандро Берардуччи он продемонстрировал изоморфизм между строго положительными алгебраическими типами данных и полиморфными лямбда-членами, иначе известный как кодирование Бема – Берардуччи.
В 1993 году, в день его 70-летия, ему был посвящен специальный выпуск « Теоретической информатики» . Он получил награду EATCS Award 2001 за выдающуюся карьеру в теоретической информатике.
Избранные публикации
- C. Böhm, "Calculatrices digitales. Du dechiffrage des formules mathématiques par la machine même dans la concept du program", Annali di Mat. pura e application , serie IV, tomo XXXVII, 1–51, 1954. PDF в ETH Zürich Перевод на английский язык 2016 г. Автор Питер Сестофт
- К. Бём, "О семействе машин Тьюринга и родственном языке программирования", ICC Bull. , 3, 185–194, июль 1964 г.
- Введен P ′ ′ , первый императивный язык без GOTO, который должен быть доказан полнотой по Тьюрингу .
- К. Бем, Г. Якопини, "Блок-схемы, машины Тьюринга и языки только с двумя правилами формирования", Comm. ACM , 9 (5): 366–371,1966.
- К. Бём, "Alcune proprietà delle forme β-η-normali nel λ-K-calcolo", Pubbl. INAC , n. 696, Рома, 1968 г.
- К. Бём, А. Берардуччи, "Автоматический синтез типизированных лямбда-программ на термовалгебрах", Теоретическая информатика , 39: 135–154, 1985.
- К. Бём, "Функциональное программирование и комбинаторные алгебры", MFCS , Карлсбад, Чехословакия, ред. М. П. Хитил, Л. Янига и В. Коубек, LNCS 324 , 14–26, 1988.
Смотрите также
- P ′ ′ , минимальный язык компьютерного программирования
- Теорема о структурированной программе
- Список пионеров информатики
- Дерево Бема
использованная литература
внешние ссылки
- Коррадо Бём в проекте « Математическая генеалогия»
- «Сборник пожертвований в честь Коррадо Бема по случаю его 70-летия» , « Теоретическая информатика» , том 121, номера 1 и 2, 1993.
- Личная страница Коррадо Бема .