Джон К. Рейнольдс
Джон К. Рейнольдс | |
|---|---|
 | |
| Рожденный | Джон Чарльз Рейнольдс 1 июня 1935 г. Соединенные Штаты |
| Умер | 28 апреля 2013 г. ( 77 лет |
| Гражданство | Соединенные Штаты |
| Образование | Университет Пердью доктор философии , Гарвардский университет (1961) |
| Известный | продолжения , дефинитивные интерпретаторы , дефункционализация , Форсайт , язык Геданкен , типы пересечений , полиморфное лямбда-исчисление , реляционная параметричность , логика разделения , АЛГОЛ |
| Награды | Медаль ловеласа (2010 г.) |
| Научная карьера | |
| Поля | Ученый-компьютерщик |
| Учреждения | Сиракузский университет Университет Карнеги-Меллон |
| Диссертация | Поверхностные свойства ядерной материи (1961) |
| Докторанты | Бенджамин С. Пирс |
| Веб-сайт | www |
Джон Чарльз Рейнольдс (1 июня 1935 — 28 апреля 2013) — американский учёный-компьютерщик . [1]
Образование и принадлежность [ править ]
Джон Рейнольдс учился в Университете Пердью , а затем получил степень доктора философии (Ph.D.) по теоретической физике в Гарвардском университете он был профессором информатики в Сиракузском университете. в 1961 году. С 1970 по 1986 год С тех пор и до своей смерти он был профессором информатики в Университете Карнеги-Меллон . Он также занимал должности приглашенного специалиста в Орхусском университете ( Дания ), Эдинбургском университете , Имперском колледже Лондона , Microsoft Research ( Кембридж , Великобритания) и Лондонском университете королевы Марии .
Академическая работа [ править ]
Основной исследовательский интерес Рейнольдса был в области проектирования языков программирования и связанных с ними языков спецификаций , особенно в отношении формальной семантики . Он изобрел полиморфное лямбда-исчисление (Система F) и сформулировал свойство семантической параметричности ; то же самое исчисление было независимо открыто Жаном-Ивом Жираром . Он написал основополагающую статью об интерпретаторах определений, которая прояснила ранние работы по продолжениям и представила технику дефункционализации . Он применил теорию категорий языков программирования к семантике . Он определил языки программирования Gedanken и Forsythe, известные своим использованием типов пересечений . Он работал над логикой разделения , чтобы описывать и рассуждать об общих изменяемых структурах данных .
Рейнольдс создал элегантную, идеализированную формулировку языка программирования АЛГОЛ , которая демонстрирует синтаксическую и семантическую чистоту АЛГОЛА и используется в исследованиях языков программирования. Он также привел убедительный методологический аргумент относительно пригодности локальных эффектов в контексте языков с вызовом по имени , в отличие от глобальных эффектов, используемых языками с вызовом по значению, такими как ML . Концептуальная целостность языка сделала его одним из основных объектов семантических исследований наряду с программированием вычислимых функций (PCF) и ML. [2]
Он был редактором таких журналов, как Communications of the ACM и Journal of the ACM . В 2001 году он был назначен членом Ассоциации вычислительной техники (ACM). Он выиграл премию ACM SIGPLAN за достижения в области языков программирования в 2003 году и медаль Лавлейса Британского компьютерного общества в 2010 году.
Избранные публикации [ править ]
- Книги
- Мастерство программирования , Prentice Hall International, 1981. ISBN 0-13-188862-5 .
- Теории языков программирования , издательство Кембриджского университета , 1998. ISBN 0-521-59414-6 .
- Статьи
- «Трансформационные системы и алгебраическая структура атомных формул» (PDF) . Машинный интеллект . 5 : 135–151. 1970.
- «К теории типовой структуры» (PDF) . Коллок по программе . Париж, Франция. 1974. стр. 408–425. дои : 10.1007/3-540-06859-7_148 . Проверено 6 ноября 2014 г.
- «Типы, абстракция и параметрический полиморфизм» (PDF) . Обработка информации '83 . 1983. стр. 513–523. Архивировано из оригинала (PDF) 10 марта 2016 г. Проверено 6 ноября 2014 г.
- «Логика разделения: логика для общих изменяемых структур данных» (PDF) . 17-й симпозиум IEEE по логике в информатике (LICS 2002) . стр. 55–74. дои : 10.1109/LICS.2002.1029817 .
Ссылки [ править ]
- ^ Фишер, Ларри (29 апреля 2013 г.). «Джон Рейнольдс, 1935–2013» . Сообщения ACM : Новости ACM . США: Ассоциация вычислительной техники . Проверено 30 апреля 2013 г.
- ^ О'Хирн, Питер ; Теннент, Роберт Д. (1997). Алголоподобные языки . Кембридж, Массачусетс, США: Биркхаузер Бостон. дои : 10.1007/978-1-4612-4118-8 . ISBN 978-0-8176-3880-1 . S2CID 6273486 .
Дальнейшее чтение [ править ]
- Оливье Дэнви , Питер О'Хирн и Филип Уодлер (редакторы), « Фестивальный сборник к 70-летию Джона К. Рейнольдса ». Theoretical Computer Science , 375(1–3):1–350, 1 мая 2007 г. Редакционная статья, страницы 1–2. дои : 10.1016/j.tcs.2006.12.024
- Стивен Брукс , Питер О'Хирн и Удай Редди , « Сущность Рейнольдса ». ПОПЛ 2014, стр. 251–256. дои : 10.1145/2535838.2537851
Внешние ссылки [ править ]
- Официальный сайт
- Резюме
- Джон К. Рейнольдс на DBLP библиографическом сервере
- Джон К. Рейнольдс в проекте «Математическая генеалогия»
- Проверка программы и семантика: дальнейшая работа (Лондон, 2004 г.)
Алгол -программирование |
|---|
- 1935 рождений
- смертей в 2013 г.
- Выпускники Гарвардского университета
- Выпускники Университета Пердью
- Американские ученые-компьютерщики
- Формальные методы люди
- Исследователи языков программирования
- Академики Имперского колледжа Лондона
- Преподаватели Лондонского университета королевы Марии
- Академики Эдинбургского университета
- Преподаватели Сиракузского университета
- Преподаватели Университета Карнеги-Меллон
- Редакторы американских академических журналов
- Сотрудники Microsoft
- Члены Ассоциации вычислительной техники 2001 г.