abstract domain：抽象域。在“抽象解释（abstract interpretation）/静态分析”中，指用来近似表示程序可能状态集合的一套数学结构（常见为格 lattice或偏序集合），用于在可计算的范围内推导性质（如变量范围、是否可能为空、符号关系等）。它与“具体域（concrete domain）”相对：具体域更精确但往往不可计算或代价太高，抽象域更粗但可高效分析。
/b.strkt domen/
An abstract domain can represent possible values of a variable without executing the program.
抽象域可以在不运行程序的情况下表示变量可能取到的值。
Choosing the right abstract domain determines the precision and performance of a static analysis, because it controls how concrete program behaviors are approximated.
选择合适的抽象域会决定静态分析的精度与性能，因为它决定了如何近似具体的程序行为。
abstract 源自拉丁语 abstractus，意为“抽离出来的、抽象的”，强调从具体细节中提取共同结构；doain 源自拉丁语 dominium，意为“领域、范围”。合起来的 abstract domain 字面是“抽象的领域/范围”，在计算机科学中专指用于近似描述程序状态的“数学语义空间”。
Select Language