A programming language loosely based on Algol 60 and developed in the UK for military applications. Although described as a real-time language, CORAL has no built-in facilities for parallel processing, synchronization, interrupt handling, etc. The most widely used version of the language is CORAL 66. CORAL was superseded by Ada in the 1980s.