摘要： 将每条语句放到实际的上下文中进行考虑，从而检测类型和约定方面的错误，这种分析一般被称为“上下文相关分析”(context sensitive analysis)，以区别于语法分析，或者称为"语义推敲"(semantic elaboration)。 概述 被编译的程序中的某个名字x，在编译器能够为涉及 阅读全文