Hispanopedia Wiki
Articulo de referencia

Eric Hehner

[[Computer programming|Programming]]"},"workplaces":{"wt":"[[University of Toronto]]"},"education":{"wt":"[[Carleton University]] ([[Bachelor of Science|B.Sc.]], 1969) [[Univers...

Hispanopedia WikiContenido en espanolLectura gratuita

Eric " Rick " CR Hehner (nacido el 16 de septiembre de 1947) es un científico informático canadiense . Nació en Ottawa . Estudió matemáticas y física en la Universidad de Carleton , donde se graduó con una Licenciatura en Ciencias (B.Sc.) en 1969. Estudió informática en la Universidad de Toronto , donde obtuvo una Maestría en Ciencias (M.Sc.) en 1970 y un Doctorado en Filosofía (Ph.D.) en 1974. Posteriormente, se unió al profesorado de dicha universidad, convirtiéndose en catedrático en 1983. En 2001, fue nombrado titular de la Cátedra Bell de Ingeniería de Software y se jubiló en 2012. [ 1 ]

El área principal de investigación de Hehner son los métodos formales de diseño de software. Su método, inicialmente llamado programación predicativa , y posteriormente Teoría Práctica de la Programación, consiste en considerar cada especificación como una expresión binaria ( booleana ) y cada construcción de programación como una expresión binaria que especifica el efecto de ejecutar dicha construcción. El refinamiento es simplemente implicación . Este es el método formal más simple y el más general, aplicable a programas secuenciales, paralelos , autónomos, comunicantes, terminantes, no terminantes, de tiempo natural, de tiempo real , deterministas y probabilísticos, e incluye límites de tiempo y espacio. Esta idea ha influido en otros investigadores de ciencias de la computación, incluido Tony Hoare .

Entre las demás áreas de investigación de Hehner se incluyen la programación probabilística, el álgebra unificada y el diseño de circuitos de alto nivel. En 1979, Hehner inventó una generalización del complemento a la base denominada notación de comillas , que es una representación de los números racionales que facilita la aritmética y evita los errores de redondeo.

Participó en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [ 1 ] [ 2 ] que especificó , mantiene y da soporte a los lenguajes de programación ALGOL 60 y ALGOL 68. [ 3 ] y del Grupo de Trabajo 2.3 de la IFIP sobre Metodología de Programación. [ 1 ]

Referencias

  1. 1 2 3 Hehner, Eric CR (3 de mayo de 2020). "Eric CR Hehner" . Departamento de Ciencias de la Computación . Universidad de Toronto . Recuperado el 27 de julio de 2020 .
  2. ↑ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 16 de octubre de 2020 .
  3. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki" . Foswiki . Consultado el 16 de octubre de 2020 .
  • Hehner, ECR (1984). "Programación predicativa" . Communications of the ACM . 27 (2): 134– 151. doi : 10.1145/69610.357988 . S2CID 11577076 . 
  • Hehner, ECR (1990). "Una teoría práctica de la programación" . Ciencia de la programación informática . 14 ( 2–3 ): 133–158 . doi : 10.1016/0167-6423(90)90018-9 .
  • Hehner, ECR (2004). "Del álgebra booleana al álgebra unificada". Mathematical Intelligencer . 26 (2): 3– 19. CiteSeerX 10.1.1.638.1782 . doi : 10.1007/BF02985647 . S2CID 61678587 .  
  • Hehner, ECR; Horspool, RNS "Una nueva representación de los números racionales para una aritmética rápida y sencilla" (PDF) .{{cite journal}}: Para citar una revista se requiere |journal=( ayuda )
  • Sitio web oficial
  • Publicaciones de DBLP
  • Una teoría práctica de la programación , libro del profesor Hehner, disponible gratuitamente en PDF.
  • Documentos de archivo de Eric Hehner conservados en los Servicios de Archivo y Gestión de Documentos de la Universidad de Toronto.