Attributed grammar models for data flow analysis.