Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!genrad!panda!talcott!harvard!seismo!mcvax!unido!ztivax!david
From: david@ztivax.UUCP
Newsgroups: net.lang
Subject: Re: Re: introductory programming languag
Message-ID: <7900001@ztivax.UUCP>
Date: Wed, 5-Mar-86 08:24:00 EST
Article-I.D.: ztivax.7900001
Posted: Wed Mar  5 08:24:00 1986
Date-Received: Sat, 8-Mar-86 03:06:51 EST
References: <1371@utai.UUCP>
Sender: notes@unido.UUCP
Lines: 10
Nf-ID: #R:utai:-137100:ztivax:7900001:000:315
Nf-From: ztivax!david    Mar  5 13:24:00 1986

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

How can you do that?  No global pointers?  No dynamic allocation?  Tags on
data somehow?  

david at 
seismo!unido!ztivax!david