Эрик Ч.Р. Хенер | |
---|---|
Родился | (1947-09-16) 16 сентября 1947 (возраст 73). Оттава, Онтарио, Канада |
Гражданство | Канада |
Образование | Университет Карлтона (Бакалавр наук, 1969). Университет Торонто (M.Sc., 1970; Ph.D., 1974) |
Известен как | Предикативное программирование. Формальные методы. Цитата. АЛГОЛ |
Научная карьера | |
Области | Компьютер наука. Программирование |
Учреждения | Университет Торонто |
Под влиянием | Тони Хоар |
Веб-сайт | www.cs.toronto.edu / ~ hehner |
Эрик "Рик " К. Р. Хенер (родился 16 сентября 1947 г.) - канадский ученый-компьютерщик. Он родился в Оттаве. Он изучал математику и физику в Карлтонском университете, получив диплом бакалавра наук (B.Sc.) в 1969 году. Он учился информатика в Университете Торонто, получив диплом магистра наук (M.Sc.) в 1970 году и доктора философии (доктор философии) в 1974 году. Затем он поступил на факультет, став профессором в 1983 году. В 2001 году он стал заведующим кафедрой программной инженерии Университета Белла и ушел на пенсию в 2012 году.
Основная область исследований Хенера - формальные методы проектирования программного обеспечения. Его метод, первоначально названный предикативным программированием, позже названный Практической теорией программирования, заключается в том, чтобы рассматривать каждую спецификацию как двоичное (логическое ) выражение, а каждое программирование конструкция должна быть двоичным выражением, определяющим эффект от выполнения программной конструкции. Уточнение - это просто импликация. Это самый простой формальный метод и самый общий, применяемый к последовательному, параллельному, автономному, связывающемуся, завершающему, незавершающемуся, естественному времени, в реальном времени, детерминированные и вероятностные программы, включая временные и пространственные ограничения. Эта идея повлияла на других исследователей информатики, включая Тони Хора.
Другие области исследований Хенера включают вероятностное программирование, унифицированную алгебру и проектирование схем высокого уровня. В 1979 году Хенер изобрел обобщение поразрядного дополнения, названное кавычкой, которое представляет собой представление рациональных чисел, которое упрощает арифметику и исключает ошибку округления.
Он участвовал в разработке международных стандартов в программировании и информатике, как член Международной федерации обработки информации (IFIP) Рабочая группа 2.1 IFIP. на алгоритмических языках и вычислениях, в которых указано, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68. и Рабочей группы 2.3 IFIP по методологии программирования.
| journal =
()