Abstract Domain

释义 Definition（中文）

abstract domain：抽象域。在“抽象解释（abstract interpretation）/静态分析”中，指用来近似表示程序可能状态集合的一套数学结构（常见为格 lattice或偏序集合），用于在可计算的范围内推导性质（如变量范围、是否可能为空、符号关系等）。它与“具体域（concrete domain）”相对：具体域更精确但往往不可计算或代价太高，抽象域更粗但可高效分析。

发音 Pronunciation（IPA）

/ˈæb.strækt doʊˈmeɪn/

例句 Examples

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.
选择合适的抽象域会决定静态分析的精度与性能，因为它决定了如何近似具体的程序行为。

词源 Etymology（中文）

abstract 源自拉丁语 abstractus，意为“抽离出来的、抽象的”，强调从具体细节中提取共同结构；domain 源自拉丁语 dominium，意为“领域、范围”。合起来的 abstract domain 字面是“抽象的领域/范围”，在计算机科学中专指用于近似描述程序状态的“数学语义空间”。

相关词 Related Words

• Abstract Interpretation
• Concrete Domain
• Lattice
• Galois Connection
• Static Analysis
• Invariant
• Soundness
• Fixpoint

文献与作品 Literary Works（出现来源）

• Patrick Cousot & Radhia Cousot, “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs…”（1977，提出抽象解释框架与抽象域思想的经典论文）
• Patrick Cousot & Radhia Cousot, “Systematic Design of Program Analysis Frameworks”（1979，讨论如何系统构造抽象域与分析）
• Roberto Giacobazzi, Francesco Ranzato, et al., 关于抽象域精化（refinement）与组合（domain combination） 的系列研究（多篇论文中频繁使用该术语）
• Flemming Nielson, Hanne R. Nielson, Chris Hankin, Principles of Program Analysis（程序分析教材中系统介绍抽象域/抽象解释相关概念）