chuck@dartvax.UUCP (Chuck Simmons) (09/30/85)
> > 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
ron@brl-sem.ARPA (Ron Natalie <ron>) (10/06/85)
The Denelcor HEP super computer has each memory location capabale of keeping track of whether it is "full" or "empty". Mostly it is used for parallel process syncronization. -Ron