유클리드(프로그래밍 언어)
Euclid (programming language)| 패러다임 | 멀티벤더: 구조화, 필수, 기능 |
|---|---|
| 설계자 | 버틀러 램프슨, 제록스 PARC |
| 개발자 | 릭 홀트와 제임스 코디 |
| 첫 등장 | 1970년대 |
| 타이핑 규율 | 강하고 정적인 |
| 영향을 받은 | |
| 파스칼 | |
| 영향받은 | |
| 메사, 동시 유클리드, 튜링 | |
유클리드란 검증 가능한 프로그램을 쓰기 위한 필수 프로그래밍 언어다.버틀러 램프슨과 제록스 PARC 연구소의 동료들이 1970년대 중반에 설계했다.이 구현은 토론토 대학의 Ric Holt가 주도했으며, 컴파일러의 첫 구현을 위해 James Cordy가 주요 프로그래머였다.그것은 원래 모토로라 6809 마이크로프로세서를 위해 설계되었다.컴파일러 개발팀은 2년 동안 200만 달러의 예산을 가지고 있었고 미국 국방부의 국방고등연구계획국과 캐나다 국방부에 의뢰를 받았다.I. P. Sharp Associates, MITRE Corporation, SRI International 및 다양한 국제 기관에서 시스템 프로그래밍 및 소프트웨어 시스템 보안 연구에 몇 년 동안 사용되었다.
유클리드는 파스칼 프로그래밍 언어의 후손이다.유클리드에서의 기능은 폐쇄된 범위로서 부작용이 없을 수 있으며, 수입을 명시적으로 선언해야 한다.유클리드도 gotos, 부동 소수점 번호, 전역 할당, 내포함수 및 별칭을 허용하지 않으며, 함수에 대한 실제 매개변수 중 어느 것도 같은 것을 참조할 수 없다.유클리드에서는 모듈을 유형으로 구현한다.유클리드 후손으로는 메사 프로그래밍 언어, 동시유클리드 프로그래밍 언어, 튜링 프로그래밍 언어가 있다.
외부 링크
- B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell, G.J. Popek 1977.프로그래밍 언어 유클리드 보고.SIGPlan 공지사항 12, 2 (1977년 2월), 1-79.
- R.C. Holt, D.B. Wortman, J.R. Cordy, D.R. Crowe 1978.유클리드 언어: 진행 상황 보고서.1978년 연례 회의(워싱턴, 미국, 1978년 12월 04년 - 06년), 111-115.
- D.B. 워트먼과 J.R. 코르디 1981.유클리드와의 초기 경험.Proc. 제5차 소프트웨어 엔지니어링 국제회의(San Diego, 미국 캘리포니아 주, San Diego, 1981년 3월 9일 - 12일), 27-32.
