笔者最近在看GVN的一系列论文，总会看到一个概念叫Herbran Equivalence，依靠这种定义，能够判断一个GVN算法是否是complete的，也即检测一个算法是否是precise的，只有找到所有Herbrand Equivalence关系的算法才能称得上是完全的。 目录 理解：程序表达式之间的等值关系是不可判定的phi结点和普通表达式之间的相等性《一种高效的完全值编号算法》定义的值