Эрик Хенер

Эрик Ч.Р. Хенер
Рожденный	( 1947-09-16 ) 16 сентября 1947 г. Оттава , Онтарио , Канада
Образование	Карлтонский университет ( бакалавр наук , 1969 г.) Университет Торонто ( магистр наук , 1970 г.; доктор философии , 1974 г.)
Известный	Предикативное программирование Формальные методы Обозначение цитаты АЛГОЛ
Научная карьера
Поля	Информатика Программирование
Учреждения	Университет Торонто
Веб-сайт	www .cs .Торонто .edu /~хенер

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

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

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

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

Ссылки

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

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

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