Accurate Binding Time Analysis for Imperative Languages

• 命令式语言的精确约束时间分析