Eric " Rick " CR Hehner (nacido el 16 de septiembre de 1947) es un informático canadiense . Nació en Ottawa . Estudió matemáticas y física en la Universidad de Carleton , graduándose con una Licenciatura en Ciencias (B.Sc.) en 1969. Estudió informática en la Universidad de Toronto , graduándose con una Maestría en Ciencias (M.Sc.) en 1970, y un Doctorado en Filosofía (Ph.D.) en 1974. Luego se unió a la facultad allí, convirtiéndose en profesor titular en 1983. Se convirtió en el presidente de la Universidad Bell en ingeniería de software en 2001, y se jubiló en 2012. [1]
El principal campo de investigación de Hehner son los métodos formales de diseño de software. Su método, inicialmente llamado programación predicativa , más tarde llamado 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 la construcción de programación. El refinamiento es simplemente implicación . Este es el método formal más simple y el más general, se aplica 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 la informática, incluido Tony Hoare .
Otras áreas de investigación de Hehner 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 de base llamada notación de comillas , que es una representación de los números racionales que permite realizar cálculos aritméticos más sencillos y evita 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 soporta 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]
{{cite journal}}: Requiere citar revista |journal=( ayuda )