존 C. 레이놀즈

John C. Reynolds
존 C. 레이놀즈
John C. Reynolds.jpg
태어난
존 찰스 레이놀즈

(194-06-01)1935년 6월 1일
미국
죽은2013년 4월 28일(2013-04-28)(77)
시민권미국
교육퍼듀 대학교
하버드 대학교 박사(1961년)
로 알려져 있다연속성, 정의 인터프리터, 디함수화, Forsythe, Gedanken 언어, 교차 유형, 다형 람다 미적분, 관계 파라미터, 분리 로직, ALGOL
어워드러브레이스 메달 (2010)
과학 경력
필드컴퓨터 과학자
기관시러큐스 대학교
카네기 멜론 대학교
논문핵물질의 표면 특성 (1961)
박사과정 학생벤자민 C.피어스
웹 사이트www.cs.cmu.edu/~jcr

존 찰스 레이놀즈(John Charles Reynolds, 1935년 6월 1일 ~ 2013년 4월 28일)는 미국의 컴퓨터 [1]과학자입니다.

교육 및 제휴

존 레이놀즈는 퍼듀 대학에서 공부했고 1961년 하버드 대학에서 이론 물리학 박사 학위를 취득했다.그는 1970년부터 1986년까지 시러큐스 대학의 정보과학 교수였다.그 이후 사망할 때까지 그는 카네기 멜론 대학의 컴퓨터 공학 교수였다.또한 오르후스 대학교(덴마크), 에든버러 대학교, 임페리얼 칼리지 런던, 마이크로소프트 리서치(캠브리지, 영국), 퀸 메리 대학교 런던 방문직을 역임했습니다.

학술적인 일

레이놀즈의 주요 연구 관심은 프로그래밍 언어 설계 및 관련 사양 언어, 특히 형식 의미론에 관한 것이었다.그는 다형성 람다 미적분(시스템 F)을 발명했고 의미적 매개변수성의 속성을 공식화했다. 같은 미적분은 장 이브 지라르에 의해 독립적으로 발견되었다.그는 정의적 해석에 관한 중요한 논문을 썼는데, 그것은 연속성에 대한 초기 작업을 명확히 하고 기능해제 기술을 도입했다.그는 범주 이론을 프로그래밍 언어 의미론에 적용했다.그는 교차 유형을 사용하는 것으로 알려진 프로그래밍 언어인 Gedanken과 Forsythe를 정의했다.그는 공유 가변 데이터 구조를 설명하고 추론하기 위한 분리 논리를 연구했습니다.

레이놀즈는 ALGOL의 통사적 순수성과 의미적 순수성을 보여주는 프로그래밍 언어 ALGOL의 우아하고 이상적인 공식을 만들어 프로그래밍 언어 연구에 사용됩니다.또한 ML과 같은 가치별 언어에 의해 사용되는 글로벌 효과와는 대조적으로 호명별 언어의 맥락에서 국소 효과의 적합성에 대한 설득력 있는 방법론적인 주장을 했다. 언어의 개념적 무결성은 프로그래밍 계산 가능 함수와 함께 의미 연구의 주요 대상 중 하나가 되었다.ns(PCF) 및 ML.[2]

그는 Communications of the ACM과 Journal of the ACM과 같은 저널의 편집자였다.2001년에는 컴퓨터 기계 협회(ACM)의 펠로우로 임명되었습니다.2003년 ACM SIGPLAN 프로그래밍 언어 공로상, 2010년 영국 컴퓨터 협회로부터 러브레이스 메달을 수상했습니다.

선택한 출판물

책들
  • The Craft of Programming, Frentice Hall International, 1981년. ISBN0-13-18862-5.
  • 프로그래밍 언어 이론, 케임브리지 대학 출판부, 1998.ISBN 0-521-59414-6.
기사들

레퍼런스

  1. ^ Fisher, Larry (29 April 2013). "John Reynolds, 1935–2013". Communications of the ACM: ACM News. United States: Association for Computing Machinery. Retrieved 30 April 2013.
  2. ^ O'Hearn, Peter; Tennent, Robert D. (1997). Algol-Like Languages. Cambridge, Massachusetts, United States: Birkhauser Boston. doi:10.1007/978-1-4612-4118-8. ISBN 978-0-8176-3880-1. S2CID 6273486.

추가 정보

외부 링크