Turing Plus (programming language)
Encyclopedia
Turing+ 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+ were eventually subsumed into Object-Oriented Turing
. Turing+ extended original Turing with processes and monitor
s (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.
Turing programming language
Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a clean syntax and precise machine-independent semantics....
designed by James Cordy
James Cordy
James Reginald Cordy, born , is a Canadian computer scientist and educator who is a Professor in the School of Computing at Queen's University. As a researcher he is currently active in the fields of source code analysis and manipulation, software reverse and re-engineering, and pattern analysis...
and Ric Holt
Ric Holt
Richard C. "Ric" Holt is a computer science professor.Ric Holt was one of the original developers of the Turing programming language, , Euclid programming language, SP/k, and of the S/SL programming language...
, then at the University of Toronto
University of Toronto
The University of Toronto is a public research university in Toronto, Ontario, Canada, situated on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada...
, in 1987. Some, but not all, of the features of Turing+ were eventually subsumed into Object-Oriented Turing
Object-Oriented Turing
Object-Oriented Turing is an extension of the Turing programming language and a replacement for Turing Plus created by Ric Holt of the University of Toronto in 1991. It is imperative, object-oriented, and concurrent...
. Turing+ extended original Turing with processes and monitor
Monitor (synchronization)
In concurrent programming, a monitor is an object or module intended to be used safely by more than one thread. The defining characteristic of a monitor is that its methods are executed with mutual exclusion. That is, at each point in time, at most one thread may be executing any of its methods...
s (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
Concurrent Euclid (programming language)
Concurrent Euclid is a concurrent descendant of the Euclid programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1980. ConEuc was designed for concurrent, high performance, highly reliable system software, such as operating systems, compilers and...
in systems-programming applications. The TUNIS operating system
TUNIS
TUNIS was a Unix-like operating system, developed at the University of Toronto in the early 1980s. TUNIS was a portable operating system compatible with Unix V7, but with a completely redesigned kernel, written in Concurrent Euclid...
, 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.