Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site dartvax.UUCP
Path: utzoo!linus!decvax!dartvax!chuck
From: chuck@dartvax.UUCP (Chuck Simmons)
Newsgroups: net.arch
Subject: Re: Uninitialized variable checking
Message-ID: <3639@dartvax.UUCP>
Date: Mon, 30-Sep-85 15:23:05 EDT
Article-I.D.: dartvax.3639
Posted: Mon Sep 30 15:23:05 1985
Date-Received: Wed, 2-Oct-85 21:08:14 EDT
References: <796@kuling.UUCP> <1713@orca.UUCP> <1599@peora.UUCP>
Organization: Dartmouth College, Hanover, NH
Lines: 7

> > No wonder Ada doesn't require unitialized variable checking!

Dijkstra has some interesting, if somewhat underdeveloped, ideas on checking
for uninitialized variables at compile time.  I wish I could remember the
name of his book...

-- Chuck