phyllis@utcsrgv.UUCP (Phyllis Eve Bregman) (12/13/83)
Due to the interest expressed via mail, the following is yet more information
on the Turing programming language. Turing is a general purpose language
well-suited for teaching programming. It is designed to support reliable,
efficient programs. It incorporates language features that decrease the
cost of program maintenance and that support formal verification.
Currently there is a Turing compiler running on a Vax under 4.1BSD
and 4.2BSD, as well as one running on an IBM 3033 running Amdahl's
UTS under VM. These will be available for distribution in January.
Future plans include compilers for the 68000, 16032, and 8086/8
(under MS-DOS) expected for the late spring/early summer.
The Turing compiler supports complete compile and run time checking
including uninitialized variables and dynamic arrays.
There is a text-book for teaching programming based on Turing:
Introduction to Computer Science Using the Turing Programming Language
R.C. Holt & J.N.P. Hume (1983)
Reston Publishing Company, Inc. (A Prentice-Hall Company)
Reston, Virginia 22090
Anyone interested in learning more about the Turing language can
contact me or Steve Perelgut (utcsrgv!perelgut). We can also send
you a copy of The Turing Language Report, Technical Report CSRG-153.
Send us electronic mail, but if you don't hear from us within a
reasonable length of time, try again (you know how reliable uucp is)!
Phyllis Eve Bregman
CSRG, Univ. of Toronto
10 King's College Rd., SF2102A
Toronto, Ontario M5S 1A4
Canada
(416) 978 6985
{decvax,linus,ihnp4,uw-beaver,floyd,utzoo}!utcsrgv!phyllis