Hardware detection of undefined references

The construction of reliable programs could benefit substantially from improved hardware support. The automatic detection of one particularly common programming error, namely, the failure to define the value of a data element before referencing it, is quite simple and can be implemented in most microprogrammed machines. A method of introducing machine-detectable null elements for this purpose is described. This leads naturally to a re-appraisal of the basic operations CLEAR and ASSIGN.