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

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

англ. John C. Reynolds

Файл:Reynolds John small.jpg

Имя при рождении

Джон Чарльз Рейнольдс

Дата рождения

1 июня 1935 года

Место рождения

США

Дата смерти

28 апреля 2013 года

Род деятельности

учёный в области информатики

Сайт

cs.cmu.edu/~jcr

Джон С. Рейнольдс (^{[Нет даты!]}) — американский учёный в области информатики. Известен работами в области дизайна языков программирования и формальной семантики, созданием полиморфного лямбда-исчисления и сепарационной логики. Лауреат медали Лавлейс (2010).

Биография

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

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

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

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

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

Литература

• Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), "Festschrift for John C. Reynolds's 70th Birthday Архивировано из первоисточника 2012-07-03.". Theoretical Computer Science, 375(1–3):1–350, 1 May 2007. Editorial, pages 1–2. DOI:10.1016/j.tcs.2006.12.024
• Stephen Brookes, Peter O'Hearn and Uday Reddy, "The Essence of Reynolds". POPL 2014, pages 251–256. DOI:10.1145/2535838.2537851
• The Craft of Programming, Prentice Hall International, 1981. ISBN 0-13-188862-5.
• Theories of Programming Languages, Cambridge University Press, 1998. ISBN 0-521-59414-6.

• Transformational Systems and the Algebraic Structure of Atomic Formulas // Machine Intelligence. — 1970. — том 5. — С. 135–151.
• (1974) "Towards a Theory of Type Structure".: 408–425. DOI:10.1007/3-540-06859-7_148. 
• (1983) "Types, Abstraction and Parametric Polymorphism".: 513–523. 
• "Separation Logic: A Logic for Shared Mutable Data Structures".: 55–74. DOI:10.1109/LICS.2002.1029817. 

Ссылки

• cs.cmu.edu/~jcr — официальный сайт «Рейнольдс, Джон С.»
• Curriculum Vitae
• Рейнольдс, Джон С.англ. в проекте «Математическая генеалогия»
• Program Verification and Semantics: Further Work (London, 2004)

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Рейнольдс, Джон С.», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Рейнольдс,_Джон_С. Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».