Corrado Böhm
İsim: Corrado Böhm
Doğum: 17 Ocak 1923, Milano, İtalya
Ölüm: 23 Ekim 2017 (Yaş: 94)
Bilgisayarla ilgili katkılar
- Roma Üniversitesi’nde Fahri Profesör (“La Sapienza”).
- Yapılandırılmış programlama, yapıcı matematik, lambda hesabı, birleştirici mantık ve anlambilim ve işlevsel programlama dillerinin uygulanması teorisine katkılarıyla tanınan bilgisayar bilimcisi.
- GOTO ifadesi olmayan ilk zorunlu programlama dili olan P′′ (“P double-prime”) tanıtıldı, 1964’te Turing-complete olduğunu kanıtladı.
önemli yayınlar
- Hesaplamalar dijital. Du déchiffrage des formüller matematiği par la machine même dans la concept du program (İngilizce: Dijital hesap makineleri. Program tasarımında matematiksel formüllerin makine tarafından deşifre edilmesi) 1954).
- Turing makineleri ailesi ve ilgili programlama dili üzerine (1964).
- Alcune proprietà delle forme normali nel K calcolo (İngilizce: k-hesabında normal formların özellikleri) (1968).
- Term Cebirlerinde Yazılı Lambda Programlarının Otomatik Sentezi (1985).
- Fonksiyonel Programlama ve Kombinasyon Cebirleri (1988).
Onurlar ve ödüller
- Teorik bilgisayar bilimlerinde seçkin bir kariyer için EATCS Ödülü (2001).
web siteleri
- Corrado Böhm anma web sitesi