Войти
| Парадигмы | процедурные, императивные, структурированные |
|---|---|
| Семейство | АЛГОЛ |
| Разработано | Филипом Вудвордом, IF Currie, M. Griffiths |
| Разработчик | Royal Radar Establishment |
| Впервые появилось | 1964; 56 лет назад (1964) |
| Печатная дисциплина | Статический, сильный |
| Объем | Лексический |
| Язык реализации | BCPL |
| Платформа | CTL Modular-1, DEC Alpha, GEC, Ferranti, Honeywell, Серверы HPE Integrity, Interdata 8/32, PDP-11, SPARC, VAX, x86 |
| OS | VAX / VMS ; BSD Unix, Linux, Solaris |
| Под влиянием | |
| АЛГОЛ, JOVIAL, Fortran | |
CORAL, сокращение от Computer On-line Real-time Applications Language - это язык программирования, первоначально разработанный в 1964 году в Royal Radar Establishment (RRE), Малверн, Вустершир, Соединенное Королевство (Великобритания). R изначально был для «радара», а не для «реального времени». На него в первую очередь повлиял JOVIAL и, следовательно, ALGOL, но он не является подмножеством ни того, ни другого.
Наиболее широко известная версия, CORAL 66, была впоследствии разработана И. Ф. Карри и М. Гриффитсом под эгидой Межведомственного комитета по компьютерным приложениям (IECCA). Его официальное определение, отредактированное Woodward, Wetherall и Gorman, было впервые опубликовано в 1970 году.
В 1971 году CORAL был выбран Министерством обороны в качестве языка для будущих военных приложений. Для поддержки этого была внедрена программа стандартизации, чтобы компиляторы CORAL соответствовали спецификациям. Этот процесс позже был принят Министерством обороны США при определении Ada.
Coral 66 как язык программирования общего назначения, основанный на ALGOL 60, с некоторыми особенностями из Coral 64, JOVIAL и Fortran. Он включает типы структурированных записей (как в Pascal ) и поддерживает упаковку данных в ограниченное хранилище (также как в Pascal). Как и Edinburgh IMP, он поддерживает встроенный (встроенный) язык ассемблера, а также предлагает хорошую проверку и диагностику среды выполнения. Он разработан для вычислений в реальном времени и приложений встраиваемых систем, а также для использования на компьютерах с ограниченной вычислительной мощностью, включая те, которые ограничены арифметикой с фиксированной точкой и те, которые не поддерживают динамическое распределение памяти.
Этот язык был межведомственным стандартом для британского военного программирования, а также широко применялся в гражданских целях в британской индустрии управления и автоматизации. Он использовался для написания программного обеспечения для компьютеров Ferranti и General Electric Company (GEC) с 1971 года. Существуют также реализации для платформ Interdata 8/32, PDP-11, VAX, Alpha и серверов HPE Integrity ; для Honeywell и для Computer Technology Limited (CTL, позже ITL) Modular-1 ; и для SPARC с Solaris и Intel с Linux.
Queen Elizabeth II отправила первое письмо от глава государства от Royal Signals and Radar Establishment по ARPANET 26 марта 1976 г. Сообщение гласило: «Это сообщение для всех пользователей ARPANET объявляет о доступности на ARPANET компилятора Coral 66, предоставленного компьютером GEC 4080 в Королевском учреждении связи и радиолокации, Малверн, Англия,... Coral 66 - это стандартный язык высокого уровня реального времени, принятый Министерством обороны."
Вариант Coral 66 был разработан в конце 1970-х - начале 1980-х годов британским Главпочтамтом (GPO) вместе с GEC, STC и Plessey, для использования на управляющих компьютерах цифровой телефонной станции System X, названных PO-CORAL. Позже он был переименован в BT-CORAL, когда British Telecom была выделена из почтового отделения. Уникальными особенностями этого языка были акцент на выполнение в реальном времени, обработка сообщений, ограничение на выполнение операторов между ожиданием ввода и запрет на рекурсию для устранения необходимости в стеке .
Поскольку Coral был нацелен на В отличие от обычного офисного DP, не существовало стандартизированного эквивалента stdio библиотеки. IECCA рекомендовала примитивный пакет ввода / вывода (I / O) для сопровождения любого компилятора (в документе под названием «Ввод / вывод символьных данных в служебных программах Coral 66»). Большинство разработчиков избежали этого, создав интерфейсы Coral для существующих библиотек Fortran, а затем и C.
Наиболее значительным вкладом CORAL в вычисления, возможно, было введение контроля качества в коммерческих компиляторах. Чтобы компилятор CORAL был одобрен IECCA и, таким образом, позволял продавать компилятор как компилятор CORAL 66, компилятор-кандидат должен был скомпилировать и выполнить официальный набор из 25 тестовых программ и 6 тестовых программ. Этот процесс был частью процесса утверждения Британского стандарта (BS) 5905. Эта методология была соблюдена и позже адаптирована Министерством обороны США для официальной сертификации компиляторов Ada.
Исходный код для компилятора Coral 66 (написанный на BCPL ) был восстановлен, и в документе «Официальное определение Coral 66» от Her Majesty's Stationery Office (HMSO) есть был просканирован; Патентное бюро Министерства обороны выдало лицензию на проект Edinburgh Computer History, позволяющую им размещать в сети как код, так и языковую справку для некоммерческого использования.
