Main Page | See live article | Alphabetical index

Turing

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 that features a clean syntax and precise machine-independent semantics. It is used primarily as a teaching language at the high school and university level. Two other versions exist, Object-Oriented Turing and Turing Plus, a systems programming variant. Turing is available from Holt Software Associates in Toronto. Versions for Unix, Microsoft Windows and Apple Macintosh are available.

A brief example of Turing is the following recursive function to calculate a factorial.

 function  factorial (n: int) : int
   assert n >= 0
   if n = 0 then
     result 1
   else
     result n * factorial(n-1)
   end if
 end factorial

var n: int put "Please input an integer :" .. get n put "The factorial of ", n, " is ", factorial(n)


http://www.holtsoft.com/turing/ is the Turing home page.

See also: Alan Turing, Euclid programming language


This article (or an earlier version of it) contains material from the FOLDOC article on Turing, used with permission.