Эрик Хенер - Eric Hehner

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

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

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

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

Рекомендации

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

Внешние ссылки

• Официальный веб-сайт
• Публикации DBLP
• Книга профессора Хенера « Практическая теория программирования » доступна бесплатно в формате PDF.
• Эрик Hehner архивные документы , проведенные в Университете Торонто архивов и документации Услуги

Биография канадского академика - незавершенная . Вы можете помочь Википедии, расширив ее .

• v
• т
• е

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

• v
• т
• е