The phrase "abstract domain" is correct and usable in written English.
It can be used in contexts related to computer science, mathematics, or philosophy, where it refers to a conceptual space that represents a set of values or properties.
Example: "In the context of program analysis, we often work within an abstract domain to simplify the representation of program states."
Alternatives: "conceptual framework" or "theoretical space".
In this paper, we present a new numerical abstract domain, namely the abstract domain of parametric ranges, to infer symbolic ranges over nonnegative parameters for each program variable.
Then the domain of assertions is formalized as an abstract domain.
Problem solving is finding a plan for a task in an abstract domain.
Integrated ontological layers support abstract domain modelling, architectural design, and interoperability aspects.
Moreover, we characterize some structural property of semantics, such as their compositionality, in terms of simple abstract domain equations.
Actual values of variables are abstracted into security levels, and bytecode instructions are executed over an abstract domain.
We organize the remainder of this introduction in terms of possible mechanisms: 1) building analogies between sensorimotor and abstract domains; 2) using gesture as a linking and abstraction tool; 3) improving cognitive skills and abilities; 4) off-loading cognitive processes and representations into the body or environment; and 5) constructing and interpreting visual representations.
Our second evaluation demonstrated that following the proposed lesson plan, students were able to abstract domain-specific understanding of key concepts from a series of three progressively more complex and realistic models.
In abstract interpretation-based static analysis, approximation is encoded by abstract domains.
We describe a general framework and its application to two numerical abstract domains: the interval domain and the octagon domain.
These include the systematic design of semantics modeling various proof methods and the characterization of assertions as abstract domains.
