Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utai.UUCP
Path: utzoo!utcsri!utai!mendell
From: mendell@utai.UUCP (Mark Mendell)
Newsgroups: net.lang,net.cse
Subject: Re: introductory programming languages
Message-ID: <1371@utai.UUCP>
Date: Sat, 1-Mar-86 10:22:52 EST
Article-I.D.: utai.1371
Posted: Sat Mar  1 10:22:52 1986
Date-Received: Sat, 1-Mar-86 12:29:16 EST
References: <6796@boring.UUCP> <3362@umcp-cs.UUCP> <539@eneevax.UUCP>
Organization: CSRI, University of Toronto
Lines: 37

If you are looking for a teaching language to replace Pascal, I recommmend that
you look at the Turing language that was developed here at the University of
Toronto. Turing currently runs on VAXen and SUNs under UNIX, IBM 370s under CMS,
and 808[68] under MS-DOS.

    "TURING is a super Pascal (it provides the features of Pascal plus modules,
    dynamic arrays, varying length strings, etc) with a no frills syntax
    (no semicolons, no program header, etc) and with an airtight formal
    definition (program execution is completely determined by the TURING
    language specification)."

There is a book "An Introduction to Computer Programming Using the TURING
Programming Language" by R.C. Holt and J.N.P. Hume
(available from Reston Publishing, a Prentice-Hall company).

A Turing program is completely checked.  Uninitialized variables, subrange
variables out of range, dangling pointers, etc are all detected.

The "Turing Language Report" is a technical report that is available through
CSRI, that describes the full languge.

For more detail, contact:

	Distribution Manager
	Computer Systems Research Institute
	University of Toronto
	Sanford Fleming Bldg.  Rm 2102
	10 King's College Road
	Toronto, Ontario  M5S 1A4

	{ihnp4, utzoo, decvax, uw-beaver}!utcsri!distrib
-- 
Mark Mendell
	    Computer Systems Research Institute    University of Toronto
	    Usenet:	{linus, ihnp4, allegra, decvax, floyd}!utcsri!mendell
	    CSNET:	mendell@Toronto
	    ARPA:	mendell%Toronto@CSNet-Relay