The phrase "abstract domains" is correct and usable in written English.
It can be used in contexts related to computer science, mathematics, or philosophy, where it refers to generalized representations of data or concepts.
Example: "In program analysis, abstract domains are used to simplify the representation of program states."
Alternatives: "conceptual frameworks" or "theoretical constructs".
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.
In abstract interpretation-based static analysis, approximation is encoded by abstract domains.
These include the systematic design of semantics modeling various proof methods and the characterization of assertions as abstract domains.
Primary metaphor theory describes how basic mental representations of physical sensorimotor experiences are extended to understand abstract domains.
The purpose of this paper is to propose conceptual and software support for the design of abstract domains.
We describe a general framework and its application to two numerical abstract domains: the interval domain and the octagon domain.
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.
Actual values of variables are abstracted into security levels, and bytecode instructions are executed over an abstract domain.
