에릭 헤너

에릭 "릭" C. R. 헤너 (1947년 9월 16일생)는 캐나다의 컴퓨터 과학자다.그는 오타와에서 태어났다.그는 칼튼 대학에서 수학과 물리학을 공부했고, 1969년에 과학 학사(B.Sc)를 졸업했다.토론토 대학에서 컴퓨터 과학을 공부했고, 1970년 석사(M.Sc)와 1974년 철학 박사(Ph.D.)로 졸업했다.그 후 그는 1983년 교수직에 취임하여 정식 교수가 되었다.2001년 소프트웨어 공학 분야의 벨 대학교 석좌가 되었고, 2012년 은퇴하였다.^[1]

헤너의 주요 연구 분야는 소프트웨어 설계의 형식적인 방법이다.처음에 포식적 프로그래밍이라고 불리던 그의 방법은 나중에 프로그래밍의 실용 이론이라고 불리며, 각 명세서를 이진(부울) 식으로 간주하고, 각 프로그래밍 구성은 프로그래밍 구성의 실행 효과를 지정하는 이진 식이다.세련됨은 시사하는 바가 아닐 수 없다.이것은 가장 간단한 공식 방법이며, 가장 일반적인 것으로 순차적, 병렬적, 독립적, 통신적, 종료적, 비지연적, 자연적, 실시간, 결정론적, 확률적 프로그램에 적용되며, 시간과 공간의 경계를 포함한다.이 생각은 토니 호어를 포함한 다른 컴퓨터 과학 연구자들에게 영향을 미쳤다.

헤너의 다른 연구 분야로는 확률론적 프로그래밍, 통합 대수학, 고수준 회로 설계 등이 있다.1979년에 헤너는 인용 표기법이라고 불리는 라딕스 보어의 일반화를 발명했는데, 이것은 산술의 용이성을 허용하고 반올림 오차를 배제하는 합리적인 숫자의 표현이다.

그는 국제 정보 처리 연맹의 IFIP 워킹 그룹 2.1연산 언어와 Calculi,[1][2]는 지정한 경우에(IFIP)을 유지하는 멤버로 프로그래밍과 인포매틱스에서 국제 표준을 개발해 내며 프로그래밍 알골 60과 알골 68.[3]과 IFIP 실무 Grou의 언어를 지원한 것입니다.p230에프로그래밍 방법론.^[1]

참조

• Hehner, E. C. R. (1984). "Predicative Programming". Communications of the ACM. 27 (2): 134–151. doi:10.1145/69610.357988. S2CID 11577076.
• Hehner, E. C. R. (1990). "A Practical Theory of Programming". Science of Computer Programming. 14 (2–3): 133–158. doi:10.1016/0167-6423(90)90018-9.
• Hehner, E. C. R. (2004). "From Boolean Algebra to Unified Algebra". Mathematical Intelligencer. 26 (2): 3–19. doi:10.1007/BF02985647. S2CID 61678587.
• Hehner, E. C. R.; Horspool, R.N.S. "A new representation of the rational numbers for fast easy arithmetic" (PDF). {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)

외부 링크

• 공식 웹사이트
• DBLP 간행물
• 헤너 교수의 저서인 프로그래밍의 실용론 PDF로 무료로 제공
• 토론토 대학교 기록 관리 서비스에서 열린 에릭 헤너 기록 보관 문서

캐나다 학자의 이 전기는 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t

캐나다 컴퓨터 전문가와 관련된 이 전기 기사는 단편적이다.위키피디아를 확장하여 도울 수 있다.

• v
• t