concrete domain 指（尤其在数学、逻辑、计算机科学中）与“抽象域（abstract domain）”相对的具体/实际的取值域：由真实对象或真实数值构成，用来直接描述系统的实际状态、数据或语义。
/ˈkɑːnkriːt doʊˈmeɪn/
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.
在抽象解释中，我们把抽象域与具体域联系起来，以便对程序行为进行安全的近似分析。
concrete 源自拉丁语 concretus（“凝结的、具体的”），强调“真实可触、非抽象”。domain 源自拉丁语 dominium（“管辖范围、领域”）。组合起来，concrete domain 就是“由真实对象/真实取值构成的领域（取值范围）”，常用于与 abstract domain 作对照。
Select Language