Corrado Böhm
Origem: Wikipédia, a enciclopédia livre.
| Corrado Böhm | |
|---|---|
| ciência da computação | |
| Nacionalidade | |
| Nascimento | 1923 |
| Local | Milão |
| Actividade | |
| Campo(s) | ciência da computação |
| Conhecido(a) por | P′′ |
Corrado Böhm (Milão, 1923) é um cientista da computação da Itália. 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.
[editar] Ver também
- brainfuck, uma linguagem de programação esotérica baseada em P′′.