Turing+

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Turing+
Paradigm(s) multi-paradigm: object-oriented, procedural, concurrent
Designed by Ric Holt and James Cordy
Developer Ric Holt and James Cordy
Appeared in 1987
Typing discipline static, manifest
Influenced by Concurrent Euclid, Turing
Influenced Object-Oriented 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[edit]