코라도 m

Corrado Böhm
코라도 m
태어난(1923-01-17)17 1923년 1월
밀라노
죽은2017년 10월 23일(2017-10-23) (94세)
로마
국적이탈리아의
모교ETH 주리히
과학 경력
필드컴퓨터 공학
기관로마 대학교 "라 사피엔자"
박사학위 자문위원
박사과정 학생

코라도 밥(Corrado Böhm, 1923년 1월 17일 ~ 2017년 10월 23일)은 로마 대학교 '라 사피엔자'의 명예교수로, 특히 구조 프로그래밍 이론, 건설 수학, 결합 논리, 람다 미적분, 기능 프로그래밍 언어의 의미론 및 구현에 기여한 것으로 유명한 컴퓨터 과학자였다.Ges

일

Böhm은 그의 박사학위 논문(수학에서, ETH Juligh, 1951년; 1954년에 출판된)에서 같은 언어로 쓰여진 프로그래밍 언어의 번역 메커니즘인 완전한 메타원형 컴파일러를 처음으로 설명한다. 그의 가장 영향력 있는 공헌은 1966년 주세페 자코피니와 함께 발표된 이른바 구조화 프로그램 정리다. 람다 미적분학에서 그는 정상적인 형태 사이의 중요한 분리 정리를 확립했다. 알레산드로 베라두치(Alessandro Berarducci)와 함께, 그는 엄격하게 양성된 대수 데이터 유형과 Böhm-Berarducci 인코딩으로 알려진 다형성 람다-단어 사이의 이형성을 입증했다.[1]

이론 컴퓨터 과학의 특별한 호는 그의 70번째 생일인 1993년에 그에게 바쳐졌다. 그는 이론 컴퓨터 과학 분야에서 뛰어난 경력으로 2001년 EATCS 상의 수상자다.

선택한 게시물

  • C. Böm, "Calculatrices 디지털화. Du déchiffrag des formules par la machine mem dans la conception du 프로그램", Annali di Mat. pura e appplicationata, serie IV, tomo XXXVII, 1–51, 1954. Peter Sestoft의 ETH Zürich 영어 번역 2016년 PDF
  • C. Böm, "Turing machine 및 관련 프로그래밍 언어의 제품군" ICC Bull, 3, 185–194, 1964년 7월.
    GOTO가 없는 최초의 필수 언어인 P′를 Turing-완전성이 입증되었다.
  • C. Böm, G. Jacopini, ACM, 9(5): 366–371,1966. "흐름도, 튜링 기계 및 두 가지 형성 규칙만 있는 언어".
  • C. Böm, "Alcune performeta delle forme β---normali 넬 넬 λ-K-calcolo", Pubbl. INAC, n. 696, Roma, 1968.
  • C. Böm, A. Berarducci, "Term Algebras에 입력된 람다 프로그램의 자동 합성", 이론 컴퓨터 과학, 39: 135–154, 1985.
  • C. Böm, "기능 프로그래밍 및 결합 알헤브라스", MFCS, 칼스바드, 체코슬로바키아, eds M.P. Chytil, L. Janiga 및 V. Kubek, LNCS 324, 14–26, 1988.

참고 항목

참조

  1. ^ "Boehm-Berarducci Encoding".

외부 링크


P ≟ NP

컴퓨터 과학자와 관련된 이 전기 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.