Эрик Хенер
Эрик Ч.Р. Хенер | |
|---|---|
| Рожденный | 16 сентября 1947 г. |
| Гражданство | Канада |
| Образование | Карлтонский университет ( бакалавр наук , 1969 г.) Университет Торонто ( магистр наук , 1970 г.; доктор философии , 1974 г.) |
| Известный | Предикативное программирование Формальные методы Обозначение цитаты АЛГОЛ |
| Научная карьера | |
| Поля | Информатика Программирование |
| Учреждения | Университет Торонто |
| Веб-сайт | www |
Эрик « Рик » Ч.Р. Хенер (родился 16 сентября 1947 г.) — канадский учёный-компьютерщик . Он родился в Оттаве . Он изучал математику и физику в Карлтонском университете , получив степень бакалавра наук (B.Sc.) в 1969 году. Он изучал информатику в Университете Торонто , получив степень магистра наук (M.Sc.) в 1970 году, и получил степень доктора философии (Ph.D.) в 1974 году. Затем он поступил на факультет, став профессором в 1983 году. В 2001 году он стал заведующим кафедрой разработки программного обеспечения в Университете Белла и вышел на пенсию в 2012 году. [1]
Основная область исследований Хенера — формальные методы проектирования программного обеспечения. Его метод, первоначально названный предикативным программированием , позже названный «Практической теорией программирования», заключается в том, чтобы рассматривать каждую спецификацию как двоичное ( логическое ) выражение, а каждую программную конструкцию — как двоичное выражение, определяющее эффект выполнения программной конструкции. Уточнение — это всего лишь следствие . Это самый простой формальный метод и самый общий, применимый к последовательным, параллельным , автономным, взаимодействующим, завершающим, незавершающим, работающим в естественном времени, реальном времени , детерминированным и вероятностным программам и включающий временные и пространственные ограничения. Эта идея повлияла на других исследователей информатики, включая Тони Хоара .
Другие области исследований Хенера включают вероятностное программирование, унифицированную алгебру и проектирование схем высокого уровня. В 1979 году Хенер изобрел обобщение дополнения по системе счисления , названное кавычкой , которое представляет собой представление рациональных чисел , которое упрощает арифметику и исключает ошибку округления.
Он участвовал в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 IFIP по алгоритмическим языкам и исчислениям. [1] [2] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [3] и Рабочей группы 2.3 ИФИП по методологии программирования. [1]
Ссылки [ править ]
- ^ Перейти обратно: а б с Хенер, Эрик ЧР (3 мая 2020 г.). «Эрик Ч.Р. Хенер» . Кафедра компьютерных наук . Университет Торонто . Проверено 27 июля 2020 г.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 16 октября 2020 г.
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 16 октября 2020 г.
- Хенер, 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.
- Архивные документы Эрика Хенера , хранящиеся в Службе управления архивами и записями Университета Торонто.
Алгол- программирование |
|---|
.svg){kind=small}  | Эта биография канадского ученого незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта биографическая статья о канадском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- 1947 рождений
- Канадские ученые-компьютерщики
- Формальные методы люди
- Живые люди
- Выпускники Карлтонского университета
- Выпускники Университета Торонто
- Академический состав Университета Торонто
- Незавершённые канадские академические биографии
- Незавершённые статьи по компьютерным наукам
- Незавершенные статьи о канадских компьютерных специалистах