Wolfram Technology Guide: Real-Time Code Annotation  previous | next 
Real-Time Analysis of Local Variables and Code Structure
Mathematica automatically recognizes scoping and localization of variables, as well as the presence or absence of defined values--making it much easier to notice errors.