Powerdomain


theory
The powerdomain of a domain D is a domain containing some of the subsets of D. Due to the asymmetry condition in the definition of a partial order (and therefore of a domain) the powerdomain cannot contain all the subsets of D. This is because there may be different sets X and Y such that X There are at least three possible orderings of the subsets of a powerdomain:
Egli-Milner:
X (“The other domain always contains a related element”).
Hoare or Partial Correctness or Safety:
X (“The bigger domain always contains a bigger element”).
Smyth or Total Correctness or Liveness:
X (“The smaller domain always contains a smaller element”).
If a powerdomain represents the result of an abstract interpretation in which a bigger value is a safe approximation to a smaller value then the Hoare powerdomain is appropriate because the safe approximation Y to the powerdomain X contains a safe approximation to each point in X.
(“LaTeX as \sqsubseteq).
(1995-02-03)

Read Also:

  • Power dressing

    noun 1. a style of dressing in severely tailored suits, adopted by some women executives to project an image of efficiency noun a style of business attire intended to convey influence or authority

  • Power-drill

    noun 1. a drill operated by a motor. noun 1. a hand tool with a rotating chuck driven by an electric motor and designed to take an assortment of tools for drilling, grinding, polishing, etc

  • Power-elite

    noun 1. a closely knit alliance of military, government, and corporate officials perceived as the center of wealth and political power in the U.S. A term used by the American sociologist (see sociology) C. Wright Mills to describe a relatively small, loosely knit group of people who tend to dominate American policymaking. This group includes […]

  • Power factor

    noun 1. (in an electrical circuit) the ratio of the power dissipated to the product of the input volts times amps

  • Power-forward

    noun, Basketball. 1. a forward valued chiefly for aggressive rebounding capability, rather than scoring, and thus a big, physically strong player. noun 1. (basketball)


Disclaimer: Powerdomain definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.