피터 랜딘

Peter Landin
피터 랜딘
Peter Landin.png
태어난
피터 존 랜딘

(1930-06-05)5 1930년 6월 5일
영국 요크셔의 웨스트 라이딩, 셰필드
죽은2009년 6월 3일(2009-06-03) (78)
시민권영국
교육케임브리지 대학교 클레어 칼리지
로 알려져 있다.ISWIM, J 연산자, SECD 기계, 오프사이드 규칙, 통사당
과학 경력
필드컴퓨터 과학, 교육
기관크리스토퍼 스트레이치 컴퓨터 컨설턴트
유니백
매사추세츠 공과대학교
런던 대학교의 퀸 메리
영향존 매카시

피터 존 랜딘(Peter John Landin, 1930년 6월 5일 ~ 2009년[1][2] 6월 3일)은 영국의 컴퓨터 과학자였다.그는 람다 미적분이 기능적 프로그래밍과 변절적 의미론의 개발에 필수적인 통찰인 프로그래밍 언어를 모형화하는 데 사용될 수 있다는 것을 깨달은 첫 번째 사람 중 한 명이었다.

학문적

랜딘은 셰필드에서 태어났고, 그곳에서 킹 에드워드 7세 학교를 다녔다. 그는 케임브리지 대학교의 클레어 칼리지를 졸업했다.[2]1960년부터 1964년까지 크리스토퍼 스트레이치가 런던의 독립 컴퓨터 컨설턴트였을 때 그는 그의 조수였다.[3]그의 대부분의 작품은 이 기간 동안 출판되었고, 그가 미국의 매사추세츠 공과대학에서 일했던 짧은 기간 동안 런던 퀸 메리 대학교에 입학하기 전에 출판되었다.1970년대와 1980년대 동안, 그의 노력은 퀸 메리 칼리지에 컴퓨터 과학 학과를 짓고, 과정을 개발하고, 학생들을 가르치는 데 착수했다. 그것은 텍스트북 "프로그래밍 from First Principles"의 서문에 제시되었다.[4]은퇴하면서 그는 런던 퀸 메리 대학교 이론 연산 명예교수로 임명되었고, 2012년 그의 영예로 컴퓨터 과학 빌딩이 피터 랜딘 빌딩으로 개칭되었다.

2001년 런던 과학 박물관의 워크샵에서 그는 컴퓨터 과학에 대한 그의 학문적 경력은 1950년대 후반에 어떻게 시작되었는지, 그리고 그가 가장 일반적으로 사용되는 언어가 포트란이었을 때 존 매카시의 리스프 언어에 대한 연구에 많은 영향을 받았는지에 대해 말했다.[5]

그는 ALGOL 프로그래밍 언어의 정의에 적극적이었다.그는 1959년 11월 파리에서 열린 [6]콘퍼런스와 1962년 콘퍼런스에 참석한 사람들 중 한 명이며 토니 호어(Tony Hoare)가 그에게 ALGOL 60을 가르친 사람들 중 한 명으로 인용하여 강력한 재귀 알고리즘의 표현을 용이하게 했다.[7][8]

"1961년 부활절 즈음, 영국 브라이튼에서 피터 나우르, 에드거 W. 디크스트라, 피터 랜딘과 함께 ALGOL 60에 대한 강좌가 개설되었다…내가 처음 재귀적 절차에 대해 배웠고, 앞서 설명하는데 어려움을 느꼈던 분류법을 프로그래밍하는 방법을 본 곳이 바로 그곳이었다.내가 컴퓨터 과학자로써의 내 경력이 기초가 되는 퀵소트라는 이름을 짓지 않고 그 절차를 쓴 곳이 바로 거기에 있었다.언어에 재귀성을 포함시키고 세상에 나의 발명을 우아하게 설명할 수 있게 해준 ALGOL 60의 디자이너들의 천재에게 정당한 공로를 인정해야 한다.좋은 아이디어가 우아하게 표현될 수 있도록 하는 것이 언어 디자인 프로그래밍의 가장 높은 목표라고 생각해 왔다."[9]

랜딘은 프로그래밍 언어인 ALGOL 60과 ALGOL 68을 지정,[10] 유지, 지원하는 알고리즘 언어와 캘커리에 관한 국제 정보처리연맹(IFIP) IFIP 2.1 작업 그룹의 일원으로 프로그래밍과 정보학 분야에서 국제 표준에 관여했다.[11]

랜딘은 스택, 환경, 제어, 덤프 SECD 기계, 기능 프로그래밍 언어의 첫 번째 추상적 기계,[12] ISWIM 프로그래밍 언어의 발명을 담당하며, 랜딘 오프사이드 규칙을 정의하고 통사당이라는 용어를 결합한다.오프사이드 규칙은 미란다, 하스켈, 파이톤, F#(빛 구문 사용) 등의 언어에서 볼 수 있는 화이트 스페이스를 사용하여 경계 범위 선언을 허용한다.

랜딘에서 유래한 또 다른 구절은 영향력 있는 신문인 다음 700개의 프로그래밍 언어 다음에 나오는 "다음 700"이다.[13]"700"은 랜딘이 ACM 저널에서 이미 700개의 프로그래밍 언어가 존재한다는 것을 읽었기 때문에 선택되었다.[14]논문은 "...오늘 ... 700개 이상의 응용분야에서 '커뮤니케이션'에 사용되는 1,700개의 특수 프로그래밍 언어"라는 인용문으로 시작한다.[15]라는 농담도 포함되어 있다.

이 연구 프로그램의 가능한 첫 단계는 "x와 교회의 λ-통지의 일치"라고 불리는 1700년 박사학위 논문이다.

그의 이전 논문에 대한 [16]언급이 건방진 유머 감각은 그의 많은 논문에서 표현된다.

정치

양성애자였던 랜딘은 1970년대 초 게이 해방전선(GLF)과 인연을 맺었다.[2]그는 한때 반핵 시위의 일환으로 체포되기도 했다.[17]그는 헌신적인 사이클 선수였고 그렇게 하는 것이 물리적으로 불가능해질 때까지 자전거를 타고 런던을 돌아다녔다.[citation needed]

선택한 게시물

  • Landin, Peter J. (1964). "The mechanical evaluation of expressions". The Computer Journal. British Computer Society. 6 (4): 308–320. doi:10.1093/comjnl/6.4.308.
  • Landin, Peter J. (1966a). Steel, T. B., Jr. (ed.). "A formal description of Algol 60". Formal Language Description Languages for Computer Programming: 266–294.
  • Landin, Peter J. (February 1965a). "Correspondence between ALGOL 60 and Church's Lambda-notation: part I". Communications of the ACM. Association for Computing Machinery. 8 (2): 89–101. doi:10.1145/363744.363749. S2CID 6505810.
  • Landin, Peter J. (March 1965b). "A correspondence between ALGOL 60 and Church's Lambda-notation: part II". Communications of the ACM. Association for Computing Machinery. 8 (3): 158–165. doi:10.1145/363791.363804. S2CID 15781851.
  • Landin, Peter J. (29 August 1965c). "A Generalization of Jumps and Labels". UNIVAC Systems Programming Research (Technical Report). 다시 인쇄됨
  • Landin, Peter J. (March 1966b). "The next 700 programming languages". Communications of the ACM. Association for Computing Machinery. 9 (3): 157–166. doi:10.1145/365230.365257. S2CID 13409665.

참고 항목

메모들

  1. ^ 피터 랜딘, 람다 더 얼티밋, 2009년 6월 4일.
  2. ^ a b c 보르나트 2009a
  3. ^ Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., eds. (5–7 April 2000). History of computing: software issues. International Conference on the History of Computing, ICHC 2000, Heinz Nixdorf MuseumsForum, Paderborn, Germany. Berlin: Springer (published 29 June 2013). ISBN 978-3-662-04954-9. OCLC 861966658.
  4. ^ Bornat, Richard (1987). Programming from First Principles. Prentice Hall. ISBN 978-0-13-729104-5.
  5. ^ "Program Verification and Semantics: Report". 2001. Archived from the original on 26 September 2007. Retrieved 27 July 2014.
  6. ^ "AB8 December 1959". December 1959. Archived from the original on 15 June 2009.
  7. ^ Backus, J. W.; Wegstein, J. H.; van Wijngaarden, A.; Woodger, M.; Naur, P.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, H.; Samelson, K.; Vauquois, B. (1 January 1963). "Revised Report on the Algorithmic Language Algol 60". mass:werk.
  8. ^ 란딘 1964b
  9. ^ ACM 튜링 어워드 강연:황제의 낡은 옷.C. 안토니우스 R. Hoare, 1980년 ACM의 통신에 출판됨.
  10. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 10 September 2020.
  11. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 10 September 2020.
  12. ^ Diehl, Stephan; Hartel, Pieter; Sestoft, Peter (2000). "Abstract machines for programming language implementation". Future Generation Computer Systems. Vol. 16. pp. 739–751.
  13. ^ 란딘 1966b
  14. ^ 개인 통신, 2007년 9월.
  15. ^ 1965년 7월 미국 수학 협회 프로스펙투스 컴퓨터 소프트웨어 문제.
  16. ^ 1965a 란딘
  17. ^ 보르나트 2009b

원천

외부 링크