Corrado Böhm

Origem: Wikipédia, a enciclopédia livre.
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
Ocupação matemático, cientista de computação, engenheiro, professor universitário, lógico,
Prêmios
  • Prêmio EATCS (2001)
  • honorary doctor of the University of Milan (1994)
Empregador Universidade de Roma "La Sapienza", Universidade de Turim
Campo(s) ciência da computação
Página oficial
http://www.corradobohm.it/

Corrado Böhm (Milão, 17 de janeiro de 1923Roma, 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.

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

Publicações selecionadas[editar | editar código-fonte]

  • 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.

Referências

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

Ver também[editar | editar código-fonte]

Ícone de esboço Este artigo sobre uma pessoa é um esboço relacionado ao Projeto Biografias. Você pode ajudar a Wikipédia expandindo-o.