面向对象程序设计语言的绑定时间分析技术

• A Technology of Binding Time Analysis for Object-Oriented Programming Languages