Turing+

Turing+ (Turing Plus) is a concurrent systems programming language based on the Turing programming language designed by James Cordy and Ric Holt, then at the University of Toronto, Canada, in 1987. Some, but not all, of the features of Turing+ were eventually subsumed into Object-Oriented Turing. Turing+ extended original Turing with processes and monitors (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+ was explicitly designed to replace Concurrent Euclid in systems-programming applications. The TUNIS operating system, originally written in Concurrent Euclid, was recoded to Turing+ in its MiniTunis implementation. Turing+ has been used to implement several production software systems, including the TXL programming language.

References

• Holt, R. C.; Cordy, J R (1987-09-02). The Turing Plus Report (revised ed.). Toronto: Computer Systems Research Institute, University of Toronto. OCLC 224123563.  Also OCLC 20442341
• Holt, R C; Penny, D A (1988). Concurrent programming using the Turing Plus language. Toronto: Computer Systems Research Institute, University of Toronto. OCLC 221944791. 
• Holt, R C; Penny, D. A. (1988). The concurrent programming of operating systems using the Turing Plus language. Toronto: Computer Systems Research Institute, University of Toronto. OCLC 223619403. 
• Holt, R. C. (January 1988). "Device management in TURNING PLUS". ACM SIGOPS Operating Systems Review 22 (1): 33–41. doi:10.1145/43921.43923. 
• Grogono, Peter (1995). Programming with Turing and Object Oriented Turing. Springer-Verlag. ISBN 978-0-387-94517-0.