Concrete Domain 发音

释义 Definition

concrete domain 指（尤其在数学、逻辑、计算机科学中）与“抽象域（abstract domain）”相对的具体/实际的取值域：由真实对象或真实数值构成，用来直接描述系统的实际状态、数据或语义。

发音 Pronunciation (IPA)

/knkrit domen/

例句 Examples

The concrete domain here is the set of all integers.
这里的具体域是所有整数的集合。

In abstract interpretation, we relate an abstract domain to a concrete domain so that program behaviors can be approximated safely.
在抽象解释中，我们把抽象域与具体域联系起来，以便对程序行为进行安全的近似分析。

词源 Etymology

concrete 源自拉丁语 concretus（“凝结的、具体的”），强调“真实可触、非抽象”。domain 源自拉丁语 dominium（“管辖范围、领域”）。组合起来，concrete domain 就是“由真实对象/真实取值构成的领域（取值范围）”，常用于与 abstract domain 作对照。

相关词 Related Words

• Abstract
• Abstraction
• Domain
• Range
• Semantics
• Lattice
• Model
• Interpretation

文学/著作中的用例 Literary Works

• Patrick Cousot & Radhia Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints（1977，论文；讨论抽象域与具体语义/具体域的对应关系）
• Roberto Giacobazzi, Francesco Ranzato & Francesca Scozzari（编）, Handbook of Abstract Interpretation（学术著作；多处使用“concrete domain/ concrete semantics”等术语）
• Christel Baier & Joost-Pieter Katoen, Principles of Model Checking（教材；在形式化语义与模型分析语境中涉及具体/抽象层次与域的概念）