산호

CORAL
코랄 66
패러다임절차적, 필수적, 구조적
가족알골
설계자필립 우드워드, I. F. 커리, M. 그리피스
개발자왕립 레이더 시설
처음 등장1964; 59년 전 (1964)
타이핑 분야정적, 강함
범위어휘
구현 언어BCPL
플랫폼CTL Modular-1, DEC Alpha, GEC, 페란티, 허니웰, HPE 무결성 서버, Interdata 8/32, PDP-11, SPARC, VAX, x86, Intel 8080, Zilog Z80, Motorola 68000
OSOpenVMS,[1] BSD 유닉스, 리눅스, Solaris
의 영향을 받은
알골, 조이벌, 포트란

CORAL(컴퓨터 온라인 실시간 응용 프로그램 언어)은 1964년 영국 [2]우스터셔 맬번에 있는 왕립 레이더 시설(RRE)에서 개발된 프로그래밍 언어입니다.R은 원래 "실시간"[3]이 아닌 "레이더"를 위한 것이었습니다.그것은 주로 JOVAL, 즉 ALGOL의 영향을 받았지만, 두 가지 모두의 하위 집합은 아닙니다.

가장 널리 알려진 버전인 CORAL 66은 I. F. Currie와 M. Griffiths에 의해 IECCA(Inter-Establishment Committee for Computer Applications)의 후원 하에 개발되었습니다.우드워드, 웨더럴, 고먼이 편집한 공식적인 [4]정의는 1970년에 처음 출판되었습니다.

1971년, CORAL은 미래의 군사적 응용을 위한 언어로 국방부에 의해 선택되었고, 이를 지원하기 위해 CORAL 컴파일러가 규격을 충족하도록 보장하기 위해 표준화 프로그램이 도입되었습니다.이 과정은 나중에 아다를 정의하는 동안 미국 국방부에 의해 채택되었습니다.

개요

Coral 66은 AlGOL 60에 기반한 범용 프로그래밍 언어로 Coral 64, JOVAL 및 Fortran의 일부 기능이 있습니다.Pascal과 같은 구조화된 레코드 유형을 포함하고 제한된 스토리지(Pascal과 같은)로 데이터 패킹을 지원합니다.에든버러 IMP처럼 인라인(내장) 어셈블리 언어를 허용하고 런타임 검사 및 진단 기능도 제공합니다.실시간 컴퓨팅 및 임베디드 시스템 애플리케이션을 위해 설계되었으며, 고정점 산술로 제한된 컴퓨터와 동적 스토리지 할당을 지원하지 않는 컴퓨터를 포함하여 처리 능력이 제한된 컴퓨터에서 사용할 수 있습니다.

이 언어는 영국 군사 [5]프로그래밍의 서비스 간 표준이었으며, 영국 제어 및 자동화 산업에서 민간 목적으로 널리 채택되었습니다.1971년부터 페란티와[6] GEC(General Electric Company) 컴퓨터를 위한 소프트웨어를 작성하는 데 사용되었습니다.또한 Interdata 8/32, PDP-11, VAX 및 Alpha 플랫폼 및 HPE Integrity 서버, Honeywell, CTL(이후 ITL) Modular-1,[7] Solaris를 실행하는 SPARC 및 Linux를 실행하는 Intel을 위한 구현도 존재합니다.

엘리자베스 2세 여왕은 1976년 3월 26일 ARPANET을 통해 왕립 신호 및 레이더 기관으로부터 국가 원수로부터 첫 이메일을 보냈습니다.메시지에는 "모든 ARPANET 사용자에게 보내는 이 메시지는 영국 맬번의 왕립 신호 및 레이더 시설에서 GEC 4080 컴퓨터가 제공하는 Coral 66 컴파일러의 ARPANET에서 사용 가능함을 알립니다.Coral 66은 [8][9]국방부가 채택한 표준 실시간 고급 언어입니다."

Coral은 일반적인 사무실 데이터 처리가 아닌 다양한 실시간 작업을 목표로 했기 때문에 stdio 라이브러리에 해당하는 표준화된 것은 없었습니다.IECCA는 컴파일러와 함께 제공되는 원시 입출력(I/O) 패키지를 권장했습니다(Coral 66 유틸리티 프로그램의 문자 데이터 입력/출력이라는 문서).대부분의 구현자들은 현존하는 Fortran 및 나중에 C 라이브러리에 대한 Coral 인터페이스를 제작함으로써 이를 피했습니다.

CORAL의 컴퓨팅에 대한 가장 중요한 기여는 [7]상용 컴파일러의 품질 관리를 강화한 것일 수 있습니다.IECCA가 CORAL 컴파일러를 승인하여 CORAL 66 컴파일러로 판매하기 위해 후보 컴파일러는 25개의 테스트 프로그램과 6개의 벤치마크 프로그램으로 구성된 표준 제품군을 컴파일하고 실행해야 했습니다.이 과정은 영국 표준(BS) 5905 승인 과정의 일부였습니다.이 방법론은 나중에 아다 컴파일러 인증을 위해 미국 국방부에 의해 관찰되고 채택되었습니다.

Coral 66 컴파일러(BCPL로 작성)의 소스 코드가 복구되었고 HMSO(Her Majesty's Station Office)의 Coral 66 공식 정의 문서가 스캔되었습니다. 국방부 특허 사무소는 코드와 언어 참조를 모두 온라인에 올릴 수 있도록 Edinburgh Computer History 프로젝트에 라이센스를 발급했습니다.비상업적 사용을 위한 e.

변종

1970년대 후반부터 1980년대 초반까지 영국 우체국(GPO)이 GEC, STC, 플레시와 함께 시스템 X 디지털 전화 교환 제어 컴퓨터에 사용하기 위해 개발한 코랄 66의 변종입니다.이것은 나중에 브리티시 텔레콤이 우체국에서 분리되면서 BT-CORAL로 이름이 바뀌었습니다.이 언어의 독특한 특징은 실시간 실행, 메시지 처리, 입력 대기 사이의 문 실행 제한, [citation needed]스택의 필요성을 제거하기 위한 재귀 금지입니다.

레퍼런스

  1. ^ "Gain the advantage with CORAL, CORAL+ and Context" (PDF). DXC Technology. September 2017. Archived (PDF) from the original on 23 January 2021. Retrieved 29 December 2021.
  2. ^ FM1600B Microcircuit Computer Ferranti Digital Systems (PDF). Bracknell, Berkshire, UK: Ferranti Limited, Digital Systems Department. October 1968 [September 1968]. List DSD 68/6. Archived (PDF) from the original on 19 May 2020. Retrieved 19 May 2020.
  3. ^ Gough, Jack (1993). Watching the skies: a history of ground radar for the air defence of the United Kingdom by the Royal Air Force from 1946 to 1975. HMSO. p. 264. ISBN 978-0-11-772723-6.
  4. ^ Woodward, Philip M. (1970). Official Definition of CORAL 66. Her Majesty's Stationery Office (HMSO). pp. vii+58. ISBN 0114702217 – via Internet Archive.
  5. ^ "Coral 66 - Language Reference Manual - Manual - Computing History". www.computinghistory.org.uk. Archived from the original on 31 July 2023. Retrieved 31 July 2023.
  6. ^ Gorman, B (June 1978). The Coral 66 Compiler for Ferranti ARGUS 500 Computer (Report). Royal Signals and Radar Establishment. Technical Note 799. Archived from the original on 17 March 2021. Retrieved 17 January 2018.
  7. ^ a b "Lucid language may help European computers". New Scientist. 30 November 1972. p. 513. Retrieved 8 April 2019.
  8. ^ Metz, Cade (25 December 2012). "How the Queen of England Beat Everyone to the Internet". Wired. ISSN 1059-1028. Retrieved 9 January 2020.
  9. ^ Left, Sarah (13 March 2002). "Email timeline". The Guardian. ISSN 0261-3077. Retrieved 9 January 2020.

외부 링크