[net.arch] Uninitialized variable checking

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