Corrado Böhm

Corrado Böhm

Corrado Böhm

Corrado Böhm
Nacimiento 1923
Milán, Bandera de Italia Italia
Nacionalidad(es) Italiana
Campo(s) Ciencias de la computación
Instituciones Universidad de La Sapienza
Conocido por P′′
Premios destacados EATCS Award (2001)

Corrado Böhm (*1923 en Milán), es un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional.

En un número de la revista científica Theoretical Computer Science se le dedicó una sección especial, producto de su cumpleaños número 70. En 2001, recibió el premio EATCS Award por su distinguida carrera en las ciencias de la computación teórica.

Publicaciones selectas

  • 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, Julio 1964.
Donde introdujo P′′, el primer lenguaje imperativo sin GOTO que fue demostrado ser Turing completo.
  • 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, Czecoslovakia, eds M.P. Chytil, L. Janiga y V. Koubek, LNCS 324, 14-26, 1988.

Referencias

Enlaces externos

Obtenido de "Corrado B%C3%B6hm"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Corrado Böhm — (born 1923 in Milan), 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 …   Wikipedia

  • Corrado Bohm — Corrado Böhm Corrado Böhm (né en 1923 à Milan) est ingénieur électronicien et informaticien suisse de l École Polytechnique Fédérale de Lausanne (diplômé en 1946). Doctorat de mathématiques de l ETH (Zürich, Suisse), docteur Honoris Causa de l… …   Wikipédia en Français

  • Corrado Böhm — (né en 1923 à Milan) est ingénieur électronicien et informaticien suisse de l École polytechnique fédérale de Lausanne (diplômé en 1946). Doctorat de mathématiques de l École polytechnique fédérale de Zurich (UTH), docteur honoris causa de l… …   Wikipédia en Français

  • Böhm (Familienname) — Böhm oder Boehm ist ein deutscher Familienname. Herkunft und Bedeutung Der Name ist eine mundartliche Variante von Böhme (Bewohner von Böhmen). Varianten Böhme, Boehme, Böheim, Beheim, Behaim Bohm ist dagegen eine mundartliche Variante von Baum.… …   Deutsch Wikipedia

  • Böhm — is a German surname, meaning Bohemian .It may refer to:* Carl Crack (born Carl Böhm) * Corrado Böhm, Italian computer scientist * Eduard von Böhm Ermolli, Austrian general of WWI * Eugen von Böhm Bawerk, Austrian economist * Franz Böhm, German… …   Wikipedia

  • Joseph Anton Böhm — Para el inventor y flautista alemán, véase Theobald Böhm. Para el pintor, artista plástico y escultor, véase Corbinian Böhm. Para informático teórico italiano, véase Corrado Böhm. Para político, abogado, y economista alemán, véase Franz Böhm.… …   Wikipedia Español

  • Boehm — Böhm oder Boehm ist ein deutscher Familienname. Herkunft und Bedeutung Der Name ist eine mundartliche Variante von Böhme (Bewohner von Böhmen). Varianten Böhme, Boehme, Böheim, Beheim, Behaim Bohm ist dagegen eine mundartliche Variante von Baum …   Deutsch Wikipedia

  • Structured program theorem — The structured program theorem is a result in programming language theory. It states that every computable function can be implemented in a programming language that combines subprograms in only three specific ways. These three control structures …   Wikipedia

  • P′′ — Información general Paradigma Esotérico Apareció en 1964 Diseñado por Corrado Böhm Implementaciones …   Wikipedia Español

  • Teorema del programa estructurado — El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación. Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas. Esas tres… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”