АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Рейнольдс, Джон С.

Джон С. Рейнольдс (1 июня 1935, США — 28 апреля 2013[1], США) — американский учёный в области информатики. Известен работами в области дизайна языков программирования и формальной семантики, созданием полиморфного лямбда-исчисления и сепарационной логики. Лауреат медали Лавлейс (2010).

Общие сведения
Джон С. Рейнольдс
англ. John C. Reynolds
Имя при рождении Джон Чарльз Рейнольдс
Дата рождения 1 июня 1935(1935-06-01)
Место рождения США
Дата смерти 28 апреля 2013(2013-04-28) (77 лет)
Место смерти
Страна
Образование
Род деятельности учёный в области информатики
Награды и премии
Сайт cs.cmu.edu/~jcr

Биография

Джон Рейнольдс учился в Университете Пердью, а в 1961 году получил степень доктора философии по теоретической физике в Гарвардском университете. С 1970 по 1986 год работал профессором информатики в Сиракузском университете. С 1986 года и до конца жизни был профессором компьютерных наук в Университете Карнеги — Меллона. Также занимал должности приглашённого исследователя в Орхусском университете (Дания), Эдинбургском университете, Имперском колледже Лондона, Microsoft Research (Кембридж, Великобритания) и Университете королевы Марии в Лондоне.

Научная деятельность

Основным направлением исследований Рейнольдса был дизайн языков программирования и связанных с ними языков спецификаций, в частности формальная семантика. Он изобрёл полиморфное лямбда-исчисление (Система F) и сформулировал свойство семантической параметричности; этот же калькулюс был независимо открыт Жан-Ивом Жираром. Рейнольдс написал статью об определяющих интерпретаторах, которая прояснила ранние работы по продолжениям и ввела метод дефункционализации. Он применил теорию категорий к семантике языков программирования. Разработал языки программирования Gedanken и Forsythe, известные использованием типов пересечения. Работал над сепарационной логикой для описания и анализа разделяемых изменяемых структур данных.

Рейнольдс создал идеализированную формулировку языка программирования ALGOL, которая демонстрирует синтаксическую и семантическую чистоту языка и используется в исследованиях языков программирования. Эта работа также представила методологический аргумент в пользу локальных эффектов в языках с вызовом по имени, в отличие от глобальных эффектов в языках с вызовом по значению, таких как ML. Концептуальная целостность языка сделала его одним из главных объектов семантических исследований, наряду с Programming Computable Functions (PCF) и ML[2].

Был редактором таких журналов, как Communications of the ACM и Journal of the ACM. В 2001 году стал членом Ассоциации вычислительной техники (ACM). В 2003 году получил премию ACM SIGPLAN Programming Language Achievement Award, а в 2010 году — медаль Лавлейс от Британского компьютерного общества.

Примечания

  1. ↑ John Reynolds, American computer scientist, dies at 77|cacm.acm.org
  2. ↑ O'Hearn, Peter. Algol-Like Languages / Peter O'Hearn, Robert D. Tennent. — Birkhauser Boston, 1997. — ISBN 978-0-8176-3880-1. — doi:10.1007/978-1-4612-4118-8.

Литература

  • Transformational Systems and the Algebraic Structure of Atomic Formulas // Machine Intelligence. — 1970. — Т. 5. — С. 135–151.
  • “Towards a Theory of Type Structure” (PDF). Colloque sur la Programmation. Paris, France. 1974. pp. 408—425. DOI:10.1007/3-540-06859-7_148. Дата обращения 2014-11-06.
  • “Types, Abstraction and Parametric Polymorphism” (PDF). Information Processing '83. 1983. pp. 513—523. Архивировано из оригинала (PDF) 2016-03-10. Дата обращения 2014-11-06.
  • “Separation Logic: A Logic for Shared Mutable Data Structures” (PDF). 17th IEEE Symposium on Logic in Computer Science (LICS 2002). pp. 55—74. DOI:10.1109/LICS.2002.1029817.

Ссылки

Дополнительно по теме

Категории