Джон Чарльз Рейнольдс (1 июня 1935 г. — 28 апреля 2013 г.) — американский учёный-компьютерщик . [1]
Джон Рейнольдс учился в Университете Пердью , а затем получил степень доктора философии (Ph.D.) по теоретической физике в Гарвардском университете в 1961 году. Он был профессором информатики в Сиракузском университете с 1970 по 1986 год. С тех пор и до своей смерти он был профессором информатики в Университете Карнеги-Меллона . Он также занимал приглашенные должности в Орхусском университете ( Дания ), Эдинбургском университете , Имперском колледже Лондона , Microsoft Research ( Кембридж , Великобритания) и Лондонском университете королевы Марии .
Основной исследовательский интерес Рейнольдса лежал в области проектирования языков программирования и связанных с ними языков спецификаций , особенно в отношении формальной семантики . Он изобрел полиморфное лямбда-исчисление (System F) и сформулировал свойство семантической параметричности ; то же самое исчисление было независимо открыто Жаном-Ивом Жираром . Он написал основополагающую статью об интерпретаторах определений, которая прояснила раннюю работу по продолжениям и ввела технику дефункционализации . Он применил теорию категорий к семантике языков программирования . Он определил языки программирования Gedanken и Forsythe, известные своим использованием типов пересечения . Он работал над логикой разделения для описания и рассуждения о совместно используемых изменчивых структурах данных .
Рейнольдс создал элегантную, идеализированную формулировку языка программирования ALGOL , которая демонстрирует синтаксическую и семантическую чистоту ALGOL и используется в исследованиях языков программирования. Он также выдвинул убедительный методологический аргумент относительно пригодности локальных эффектов в контексте языков вызова по имени , в отличие от глобальных эффектов, используемых языками вызова по значению, такими как ML . Концептуальная целостность языка сделала его одним из главных объектов семантических исследований, наряду с программированием вычислимых функций (PCF) и ML. [2]
Он был редактором таких журналов, как Communications of the ACM и Journal of the ACM . В 2001 году он был назначен членом Ассоциации вычислительной техники (ACM). В 2003 году он получил премию ACM SIGPLAN Programming Language Achievement Award , а в 2010 году — медаль Лавлейс от Британского компьютерного общества .