第4章 抽象解释 4.1节 将“程序分析对语言的语义是正确的”这个 概念公式化 。 方式1：正确性关系 R:VxL→{true,.false -正确性标准：R在程序计算过程中保持 可接受的正确性关系 增加两个条件 1、属性值1越小（偏序）越精确 2、存在描述一个值y的最好属性值1第4章 抽象解释 4.1 节 将“程序分析对语言的语义是正确的”这个 概念公式化 • 方式1：正确性关系 – R : V  L → {true, false} – 正确性标准：R在程序计算过程中保持 – 可接受的正确性关系 增加两个条件 1、属性值 l 越小（偏序）越精确 2、存在描述一个值 v 的最好属性值 l