Corrado Böhm
Encyclopedia
Corrado Böhm Professor Emeritus at the University of Rome "La Sapienza"
, is a computer scientist
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. A special issue of Theoretical Computer Science was dedicated to him on the occasion of his 70th birthday.
University of Rome La Sapienza
The Sapienza University of Rome, officially Sapienza – Università di Roma, formerly known as Università degli studi di Roma "La Sapienza", is a coeducational, autonomous state university in Rome, Italy...
, is a computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
known especially for his contributions to the theory of structured programming
Structured programming
Structured programming is a programming paradigm aimed on improving the clarity, quality, and development time of a computer program by making extensive use of subroutines, block structures and for and while loops - in contrast to using simple tests and jumps such as the goto statement which could...
, constructive mathematics, combinatory logic
Combinatory logic
Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming...
, lambda-calculus, and the semantics and implementation of functional programming
Functional programming
In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state...
languages. A special issue of Theoretical Computer Science was dedicated to him on the occasion of his 70th birthday.
Selected publications
- C. Böhm, "Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme", Annali di Mat. pura e applicata, serie IV, tomo XXXVII, 1–51, 1954.
- 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 GOTOGotogoto is a statement found in many computer programming languages. It is a combination of the English words go and to. It performs a one-way transfer of control to another line of code; in contrast a function call normally returns control...
to be proved Turing-complete.
- Introduced P′′, the first imperative language without GOTO
- 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.
External links
- "A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday", Theoretical Computer Science, Volume 121, Numbers 1&2, 1993.
- Corrado Bohm's personal page.