Concurrent Euclid
Concurrent Euclid (ConcEuc) er en etterkommer av programmeringsspråket Euclid som ble konstruert av James Cordy og Richard C. Holt ved University of Toronto i 1980. ConEuc var et imperativt språk som ble konstruert for parallell programvare og for systemprogramvare, slik som operativsystemer, kompilatorer og innebygde systemer.
| Concurrent Euclid | |||
|---|---|---|---|
| Tilblivelse | 1980 | ||
| Paradigme | Multi-paradigme: Strukturert programmering, imperativ programmering, funksjonell programmering | ||
| Designet og utviklet av | James Cordy, Richard C. Holt | ||
| Typetildeling | sterk | ||
| OS | multiplattform | ||
| Påvirket av | |||
| Euclid, sekvensielle kommunikasjonsprosesser | |||
Operativsystemkjernen i operativsystemet TUNIS, en variant av og Unix, ble skrevet utelukkende i Concurrent Euclid. ConcEuc utvider kjerne-elementene i Euclid med prosesser og monitorer (slik som disse ble spesifisert av C.A.R. Hoare) så vel som språklige konstruksjoner som behøves i systemprogrammering, deriblant separat kompilering, variabler ved absolutte adresser, typekonverterere og lange heltall.
Litteratur rediger
- J.R. Cordy and R.C. Holt 1980. Specification of Concurrent Euclid. Technical reports CSRI-115 (July 1980) and CSRI-133 (August 1981), Computer Systems Research Institute, University of Toronto. 54 pages.
- R.C. Holt 1982. Concurrent Euclid, the Unix System and Tunis. Addison-Wesley 1982. 323 pages.
- R.C. Holt 1982. A short introduction to Concurrent Euclid. SIGPLAN Not. 17, 5 (May. 1982), 60-79.
- R.C. Holt 1982. Tunis: a Unix look-alike written in Concurrent Euclid. SIGOPS Operating Systems Review 16, 1 (January 1982), 4-5.
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.