第4章 抽象解释 4.1节 将“程序分析对语言的语义是正确的”这个 概念公式化 方式2：表示函数 -B:V→L,将v映射到表示它的最好属性值 两种方式之间的等价 -从B可以定义相关的可接受R 从可接受R可以定义相关的B第4章 抽象解释 4.1 节 将“程序分析对语言的语义是正确的”这个 概念公式化 • 方式2：表示函数 –  ： V → L， 将 v 映射到表示它的最好属性值 l • 两种方式之间的等价 – 从可以定义相关的可接受R – 从可接受R可以定义相关的