Эрик Хенер

Эрик « Рик » CR Хенер (родился 16 сентября 1947 года) — канадский учёный-компьютерщик . Он родился в Оттаве . Он изучал математику и физику в Карлтонском университете , получив степень бакалавра наук (B.Sc.) в 1969 году. Он изучал информатику в Университете Торонто , получив степень магистра наук (M.Sc.) в 1970 году и доктора философии (Ph.D.) в 1974 году. Затем он присоединился к факультету там, став полным профессором в 1983 году. Он стал заведующим кафедрой программной инженерии в Университете Белла в 2001 году и вышел на пенсию в 2012 году. ^[1]

Основная область исследований Хенера — формальные методы проектирования программного обеспечения. Его метод, изначально называвшийся предикативным программированием , а позже — практической теорией программирования, заключается в том, чтобы рассматривать каждую спецификацию как бинарное ( булевое ) выражение, а каждую программную конструкцию — как бинарное выражение, определяющее эффект выполнения программной конструкции. Уточнение — это просто импликация . Это простейший формальный метод и самый общий, применяемый к последовательным, параллельным , автономным, сообщающимся, завершающимся, незавершающимся, естественно-временным, реально-временным , детерминированным и вероятностным программам, и включает временные и пространственные ограничения. Эта идея повлияла на других исследователей компьютерных наук, включая Тони Хоара .

Другие области исследований Хенера включают вероятностное программирование, унифицированную алгебру и высокоуровневое проектирование схем. В 1979 году Хенер изобрел обобщение дополнения системы счисления , названное нотацией кавычек , которая является представлением рациональных чисел , что упрощает арифметику и исключает ошибки округления.

Он принимал участие в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации по обработке информации (IFIP), Рабочей группы IFIP 2.1 по алгоритмическим языкам и исчислениям, ^{[1] [2],} которая специфицировала , обслуживала и поддерживала языки программирования ALGOL 60 и ALGOL 68. [ ^3] и Рабочей группы IFIP 2.3 по методологии программирования. ^[1]

• Хенер, Э. К. Р. (1984). «Предикативное программирование». Сообщения ACM . 27 (2): 134– 151. doi : 10.1145/69610.357988 . S2CID  11577076.
• Хенер, Э. К. Р. (1990). «Практическая теория программирования». Наука компьютерного программирования . 14 ( 2– 3): 133– 158. doi : 10.1016/0167-6423(90)90018-9 .
• Хенер, ECR (2004). «От булевой алгебры к единой алгебре». Mathematical Intelligencer . 26 (2): 3– 19. CiteSeerX  10.1.1.638.1782 . doi :10.1007/BF02985647. S2CID  61678587.
• Хенер, ECR; Хорспул, RNS «Новое представление рациональных чисел для быстрой и простой арифметики» (PDF) . {{cite journal}}: Цитировать журнал требует |journal=( помощь )

• Официальный сайт
• Публикации DBLP
• Практическая теория программирования, книга профессора Хехнера, доступна бесплатно в формате PDF
• Архивные документы Эрика Хенера, хранящиеся в Архивах и Службе управления записями Университета Торонто

Эта биография канадского ученого — заглушка . Вы можете помочь Википедии, расширив ее.

• в
• т
• е

Эта биографическая статья, касающаяся канадского специалиста по компьютерам, является заглушкой . Вы можете помочь Википедии, расширив ее.

• в
• т
• е