(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 eventually subsumed into Object-Oriented Turing
. Turing Plus extended original Turing with processes
(as specified by C.A.R. Hoare
) as well as language constructs needed for systems programming such as binary input-output, separate compilation, variables at absolute addresses, type converters and other features.
Turing Plus was explicitly designed to replace Concurrent Euclid in systems-programming applications. The TUNIS operating system, originally written in Concurrent Euclid, was recoded to Turing Plus in its MiniTunis implementation. Turing Plus has been used to implement several production software systems, including the TXL programming language.
- J.R. Cordy and R.C. Holt 1987. The Turing Plus Report. Technical report CSRI-214 (September 1987), Computer Systems Research Institute, University of Toronto.
- R.C,. Holt and D.A. Penny 1988. Concurrent Programming using Turing Plus Language. Computer Systems Research Institute, University of Toronto, 108 pp.
- R.C,. Holt and D.A. Penny 1988. The Concurrent Programming of Operating Systems using the Turing Plus Language. Computer Systems Research Institute, University of Toronto, 400 pp.
- R.C. Holt 1988. Device management in Turing Plus. SIGOPS Operating Systems Review 22, 1 (Jan. 1988), 33-41.