A short introduction to Concurrent Euclid

  • Authors:
  • R. C. Holt

  • Affiliations:
  • University of Toronto, Canada

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1982

Quantified Score

Hi-index 0.00

Visualization

Abstract

This is an introduction to Concurrent Euclid (CE), a language designed for high performance, highly reliable system software, such as operating systems, compilers and embedded microprocessor systems. CE is a Pascal-based language with processes and monitors (as specified by C. A. R. Hoare). It has language constructs needed for systems programming including separate compilation, variables at absolute addresses, type converters, long integers and so on.A Small (50k bytes), fast, portable compiler is available for CE running under UNIX. It is self-compiling and has replaceable code generators. There exist high quality code generators for several computers including the PDP-11, VAX, Motorola 68000 and Motorola 6809. These typically generate as good or better code than other compilers such as "C".CE programs that use concurrency can be run on a bare machine (supported by a small assembly language kernel), or in simulated mode as an ordinary appearing job running under an operating system.CE is defined precisely by "Specification of Concurrent Euclid" by Cordy and Holt.