Concurrent Euclid
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 |
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.
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
- 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.
- v
- d
- r
- Liste over programmeringsspråk
Kategori