Corrado Böhm

Corrado Böhm
	Corrado Böhm
	P′′
Nascimento	17 de janeiro de 1923; Milão
Morte	23 de outubro de 2017 (94 anos); Roma
Nacionalidade	italiano
Cidadania	Reino de Itália, Itália
Alma mater	Instituto Federal de Tecnologia de Zurique; Escola Politécnica Federal de Lausana;
Ocupação	matemático, cientista de computação, engenheiro, professor universitário, lógico
Distinções	Prêmio EATCS (2001); honorary doctor of the University of Milan (1994);
Empregador(a)	Universidade de Roma "La Sapienza", Universidade de Turim
Campo(s)	ciência da computação
Página oficial
	http://www.corradobohm.it/
	[edite no Wikidata]

Corrado Böhm (Milão, 17 de janeiro de 1923 – Roma, 23 de outubro de 2017^[1]) foi um cientista da computação italiano. Contribuiu com as teorias de programação estruturada, cálculo Lambda, lógica combinatória e com as semânticas e com a implementação de linguagens de programação funcional.

Factos rápidos Página oficial ...

Fechar

Foi o criador da linguagem P′′, uma linguagem Turing completa, ou seja, com o mesmo poder computacional de uma Máquina de Turing.

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. PDF at ETH Zürich English translation 2016 by Peter Sestoft
C. Böhm, "On a family of Turing machines and the related programming language", ICC Bull., 3, 185–194, July 1964.
Introduziu P′′, a primeira linguagem imperativa sem GOTO que provou ser Turing-completa.
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.

[1]
Maurizio Codogno (25 de outubro de 2017). «È morto Corrado Böhm» (em italiano). ilpost.it

Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Publicações selecionadas