Джон Чарльз Рейнольдс (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 году.