Кіріспе
Corrado Böhm (17 қаңтар 1923 – 23 қазан 2017) – итальяндық компьютер ғалымы және Рим университетінің «La Sapienza» университетінің зейнеткер профессор, ең әйгілісі құрылымдық бағдарламалау теориясы, конструктивті математика, комбинаторлық логика, лямбда-есептеуі және функционалдық бағдарламалау тілдерінің семантикасы мен іске асырылуына қосқан үлесімен белгілі.
Corrado Böhm (17 January 1923 – 23 October 2017) was an Italian computer scientist and Professor Emeritus at the University of Rome "La Sapienza", known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda calculus, and the semantics and implementation of functional programming languages.
Жұмыс
Докторлық диссертациясында (Математика, ETH Цюрих, 1951; 1954 жылы жарық көрген) Бём алғаш рет толық мета-циклдық компиляторды сипаттады, яғни сол тілде жазылған бағдарламалау тілінің аударма механизмін. Оның ең ықпалды үлесі – 1966 жылы Джузеппе Жакопинимен бірге жарияланған құрылымдалған бағдарлама теоремасы. Алессандро Берардуччимен бірге ол қатаң оң алгебралық деректер түрлері мен полиморфты лямбда-терминдері арасындағы изоморфизмді көрсетті, бұл Бём-Берардуччи кодтамасы деп белгілі. Лямбда-есептеуде ол нормальды нысандарды ажыратуға қатысты маңызды теореманы орнатты, ол Бём теоремасы деп аталады. Бұл теоремаға сәйкес, егер екі жабық λ-термин T1 және T2 әртүрлі βη нормальды нысандарға ие болса, онда Δ T1 және Δ T2 әртүрлі еркін айнымалыларға бағаланатын Δ термині табылады (яғни, оларды іштен ажыратуға болады). Демек, нормалайтын терминдер үшін Моррис контекстуалдық теңдестігі – семантикалық қасиет – нормальды нысандардың теңдігі арқылы шешіледі, бұл синтаксистік қасиет, себебі ол βη теңдестігімен сәйкес келеді. 1993 жылы оның 70 жылдығына орай "Теоретикалық компьютерлік ғылым" журналының арнайы саны оған арналды. Ол теориялық компьютерлік ғылымдағы еңбегі үшін 2001 жылғы EATCS сыйлығының иегері атанды.
Таңдалған жарияланымдар
К. Бём, "Цифрлық есептеу машиналары. Машинаның өзі бағдарлама құрылымында математикалық формулаларды шешу", Annali di Mat. pura e applicata, IV серия, XXXVII том, 1–51, 1954. ETH Zürich сайтындағы PDF, Питер Сестофттың 2016 жылғы ағылшын тіліне аудармасы. К. Бём, "Тьюринг машиналары отбасы және оған қатысты бағдарламалау тілі", ICC Bull., 3, 185–194, 1964 жылғы шілде. Тьюринг толықтығы дәлелденген GOTO операторы жоқ алғашқы императивті тіл P′′ енгізілді. К. Бём, Г. Жакопини, "Ағын диаграммалары, Тьюринг машиналары және тек екі құрастыру ережесі бар тілдер", Comm. of the ACM, 9(5): 366–371, 1966. К. Бём, "λK есептеуіндегі β η нормальді формалардың кейбір қасиеттері", Pubbl. INAC, n. 696, Рим, 1968. К. Бём, А. Берардуччи, "Терминдік алгебралар бойынша типтелген Ламбда бағдарламаларын автоматты түрде құру", Теориялық компьютерлік ғылым, 39: 135–154, 1985. К. Бём, "Функционалдық бағдарламалау және комбинаторлық алгебралар", MFCS, Карлсбад, Чехословакия, M. P. Chytil, L. Janiga және V. Koubek редакциялаған, LNCS 324, 14–26, 1988.
C. Böhm, "On a family of Turing machines and the related programming language", ICC Bull., 3, 185–194, July 1964. Introduced P′′, the first imperative language without GOTO to be proved Turing complete. C. Böhm, G. Jacopini, "Flow diagrams, Turing Machines and Languages with only Two Formation Rules", Comm. of the ACM, 9(5): 366–371,1966. C. Böhm, "Alcune proprietà delle forme β η normali nel λ K calcolo", Pubbl. INAC, n. 696, Roma, 1968. C. Böhm, A. Berarducci, "Automatic Synthesis of typed Lambda programs on Term Algebras", Theoretical Computer Science, 39: 135–154, 1985. C. Böhm, "Functional Programming and Combinatory algebras", MFCS, Carlsbad, Czechoslovakia, eds M. P. Chytil, L. Janiga and V. Koubek, LNCS 324, 14–26, 1988.