Run-time detection of undefined variables considered essential

Access to an undefined variable—one which has never been assigned a value—can be detected by automatic means. However, today's compilers do not detect undefined variables comprehensively, and the environment dependence of these errors often allows them to evade normal testing procedures. Language standards for Pascal, Modula‐2 and Ada specify the circumstances in which the undefined variable access should cause an error trap. The logic of...