Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Джон Чарльз Рейнольдс (1 маусым 1935 – 28 сәуір 2013) – американдық компьютер ғалымы.
American computer scientist (1935–2013)
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.
Білім және мүшелік
Джон Рейнольдс Пердью университетінде оқыды, содан кейін 1961 жылы Гарвард университетінен теориялық физикадан философия докторы (Ph.D.) дәрежесін алды. 1970-1986 жылдары Сиракуза университетінде ақпарат ғылымы профессоры болды. Одан кейін өмірінің соңына дейін Карнеги-Меллон университетінде компьютер ғылымы профессоры қызметін атқарды. Ол сонымен қатар Орхус университетінде (Дания), Эдинбург университетінде, Лондон Имперлік колледжінде, Microsoft Research (Кембридж, Ұлыбритания) және Лондонның Queen Mary университетінде арнайы шақырылған профессор болып жұмыс істеді.
John Reynolds studied at Purdue University and then earned a Doctor of Philosophy (Ph. D.) in theoretical physics from Harvard University in 1961. He was a professor of information science at Syracuse University from 1970 to 1986. From then until his death, he was a professor of computer science at Carnegie Mellon University. He also held visiting positions at Aarhus University (Denmark), The University of Edinburgh, Imperial College London, Microsoft Research (Cambridge, UK) and Queen Mary University of London.
Академиялық жұмыс
Рейнольдстың негізгі ғылыми қызығушылығы бағдарламалау тілдерін жобалау және оған байланысты спецификация тілдері, әсіресе формалды семантика саласында болды. Ол полиморфты лямбда-есептеуді (F жүйесі) ойлап тапты және семантикалық параметрлік қасиетті тұжырымдады; дәл осы есептеуді Жан-Ив Жирар тәуелсіз түрде ашты. Ол анықтамалық интерпретаторлар туралы маңызды мақала жазды, ол жалғастырулар бойынша бұрынғы жұмысты нақтылады және дефункционализация техникасын енгізді. Ол категориялық теорияны бағдарламалау тілінің семантикасына қолданды. Ол қиылыс түрлерін пайдалануымен белгілі болған Gedanken және Forsythe бағдарламалау тілдерін анықтады. Ол ортақ өзгертілетін деректер құрылымдарын сипаттау және олар туралы қорытынды жасау үшін ажырату логикасы бойынша жұмыс істеді. Рейнольдс ALGOL бағдарламалау тілінің әсем, идеалданған тұжырымдамасын жасады, ол ALGOL-дың синтаксистік және семантикалық тазалығын көрсетеді және бағдарламалау тілдерін зерттеуде қолданылады. Сонымен қатар, ол ML сияқты мәнді тілдерде қолданылатын жаһандық әсерлерге қарағанда, атау бойынша шақыру контекстінде жергілікті әсерлердің қолайлылығы туралы нақты методологиялық аргумент келтірді. Тілдің тұжырымдық толықтығы оны семантикалық зерттеулердің негізгі нысандарының біріне айналдырды, сондай-ақ Программаланатын Есептеу Функциялары (PCF) және ML де осы санатқа жатты. Ол ACM Communications және ACM журналы сияқты журналдардың редакторы болды. 2001 жылы ол Компьютерлік машиналар қауымдастығының (ACM) мүшесі болып тағайындалды. 2003 жылы ACM SIGPLAN бағдарламалау тілі жетістіктері сыйлығын, ал 2010 жылы Британдық компьютерлік қоғамның Лавлейс медалін жеңіп алды.
Reynolds's main research interest was in the area of programming language design and associated specification languages, especially concerning formal semantics. He invented the polymorphic lambda calculus (System F) and formulated the property of semantic parametricity; the same calculus was independently discovered by Jean Yves Girard. He wrote a seminal paper on definitional interpreters, which clarified early work on continuations and introduced the technique of defunctionalization. He applied category theory to programming language semantics. He defined the programming languages Gedanken and Forsythe, known for their use of intersection types. He worked on a separation logic to describe and reason about shared mutable data structures. Reynolds created an elegant, idealized formulation of the programming language ALGOL, which exhibits ALGOL's syntactic and semantic purity, and is used in programming language research. It also made a convincing methodologic argument regarding the suitability of local effects in the context of call by name languages, in contrast with the global effects used by call by value languages such as ML. The conceptual integrity of the language made it one of the main objects of semantic research, along with Programming Computable Functions (PCF) and ML. He was an editor of journals such as the Communications of the ACM and the Journal of the ACM. In 2001, he was appointed a Fellow of the Association for Computing Machinery (ACM). He won the ACM SIGPLAN Programming Language Achievement Award in 2003, and the Lovelace Medal from the British Computer Society in 2010.