Concurrent Euclid

Concurrent Euclid
Concurrent Euclid (ConEuc)
Paradigm(s) multi-paradigm: structured, imperative, functional
Appeared in 1980
Designed by James Cordy and Ric Holt
Developer James Cordy and Ric Holt
Typing discipline strong, static
Influenced by Euclid, Communicating Sequential Processes
Influenced Turing Plus
OS Cross-platform: PDP-11, VAX-11, Motorola 68000, Motorola 6809

Concurrent Euclid (ConEuc) is a concurrent descendant of the Euclid programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1980. ConEuc was designed for concurrent, high performance, highly reliable system software, such as operating systems, compilers and embedded microprocessor systems. The TUNIS operating system, a Unix variant, was implemented entirely in Concurrent Euclid. ConEuc extends a core subset of Euclid with processes and monitors (as specified by C.A.R. Hoare) as well as language constructs needed for systems programming including separate compilation, variables at absolute addresses, type converters, long integers and other features.

ConEuc was implemented by a small (50k bytes), fast, portable compiler that was self-compiling and had replaceable code generators. High quality code generators for several computers, including the PDP-11, VAX-11, Motorola 68000 and Motorola 6809 were developed that produced code comparable to the best C compilers. Concurrent Euclid programs that used concurrency could be run on a bare machine (supported by a small assembly language kernel), or in simulated mode as an ordinary process running under an operating system.

The Turing programming language is a direct descendant of Concurrent Euclid and its Turing Plus variant eventually replaced ConEuc in most applications.

References


Wikimedia Foundation. 2010.

Нужно решить контрольную?

Look at other dictionaries:

  • Concurrent Euclid (programming language) — Concurrent Euclid (ConEuc) is a concurrent descendant of the Euclid programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1980. ConEuc was designed for concurrent, high performance, highly reliable… …   Wikipedia

  • Euclid (programming language) — Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid 1970s. The implementation was led by Ric Holt at the University of Toronto and James… …   Wikipedia

  • Concurrent Design Facility — The Concurrent Design Facility (CDF) is the European Space Agency main assessment center for future space missions and industrial review. Located at ESTEC, ESA s technical center in Noordwijk in The Netherlands, it has been operational since… …   Wikipedia

  • Turing Plus (programming language) — Turing+ (Turing Plus) is a concurrent systems programming language based the Turing programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1987. Some, but not all, of the features of Turing Plus were… …   Wikipedia

  • Monitor (synchronization) — In concurrent programming, a monitor is an object or module intended to be used safely by more than one thread. The defining characteristic of a monitor is that its methods are executed with mutual exclusion. That is, at each point in time, at… …   Wikipedia

  • TUNIS — (Toronto University System) was a Unix like operating system, developed at the University of Toronto in the early 1980s.TUNIS was a mostly compatible clone of Unix V7, but with a completely redesigned kernel, written in Concurrent Euclid. TUNIS… …   Wikipedia

  • Generational list of programming languages — Here, a genealogy of programming languages is shown. Languages are categorized under the ancestor language with the strongest influence. Of course, any such categorization has a large arbitrary element, since programming languages often… …   Wikipedia

  • James Cordy — James R. (Jim) Cordy is a computer scientist and an educator from Canada whose accomplishments include developing the first Euclid compiler, the TXL programming language, the Turing programming language family, SP/k, Concurrent Euclid, and… …   Wikipedia

  • Генеалогический список языков программирования — Списки языков программирования По категориям Хронологический Генеалогический Приведён генеалогический список языков программирования. Языки классифицируются в соответствии с предшествующими языками, которые оказали сильное влияние на формирование …   Википедия

  • U.S. Route 6 — Grand Army of the Republic Highway Route information …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”