|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
powerdomain
Hoare powerdomain
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 <= Y and Y <= X which, by the asymmetry
condition would have to be considered equal.
There are at least three possible orderings of the subsets of
a powerdomain:
Egli-Milner:
X <= Y iff for all x in X, exists y in Y: x <= y
and for all y in Y, exists x in X: x <= y
("The other domain always contains a related element").
Hoare or Partial Correctness or Safety:
X <= Y iff for all x in X, exists y in Y: x <= y
("The bigger domain always contains a bigger element").
Smyth or Total Correctness or Liveness:
X <= Y iff for all y in Y, exists x in X: x <= y
("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.
("<=" is written in LaTeX as \sqsubseteq).
(1995-02-03)
|
|
|
|
|
Common Misspellings > |
powerdomain opowerdomain opwerdomain popwerdomain owerdomain ppowerdomain pwoerdomain powoerdomain pwerdomain poowerdomain poewrdomain powewrdomain poerdomain powwerdomain powredomain poweredomain powrdomain poweerdomain powedromain powerdromain powedomain powerrdomain powerodmain powerdodmain poweromain powerddomain powerdmoain powerdomoain powerdmain powerdoomain powerdoamin powerdomamin powerdoain powerdommain powerdomian powerdomaian powerdomin powerdomaain powerdomani powerdomaini powerdoman powerdomaiin powerdomanin powerdomai powerdomainn 0owerdomain p0owerdomain 0powerdomain )owerdomain p)owerdomain )powerdomain oowerdomain poowerdomain opowerdomain lowerdomain plowerdomain lpowerdomain p9werdomain po9werdomain p9owerdomain p(werdomain po(werdomain p(owerdomain p0werdomain po0werdomain p0owerdomain piwerdomain poiwerdomain piowerdomain ppwerdomain popwerdomain ppowerdomain pkwerdomain pokwerdomain pkowerdomain plwerdomain polwerdomain plowerdomain pawerdomain pewerdomain puwerdomain po2erdomain pow2erdomain po2werdomain po@erdomain pow@erdomain po@werdomain po3erdomain pow3erdomain po3werdomain poqerdomain powqerdomain poqwerdomain poeerdomain poweerdomain poewerdomain poaerdomain powaerdomain poawerdomain poserdomain powserdomain poswerdomain poderdomain powderdomain podwerdomain pow3rdomain powe3rdomain pow3erdomain pow#rdomain powe#rdomain pow#erdomain pow4rdomain powe4rdomain pow4erdomain powwrdomain powewrdomain powwerdomain powrrdomain powerrdomain powrerdomain powsrdomain powesrdomain powserdomain powdrdomain powedrdomain powderdomain powfrdomain powefrdomain powferdomain powardomain powirdomain powordomain powurdomain powe4domain power4domain powe4rdomain powe$domain power$domain powe$rdomain powe5domain power5domain powe5rdomain poweedomain poweredomain poweerdomain powetdomain powertdomain powetrdomain poweddomain powerddomain powedrdomain powefdomain powerfdomain powefrdomain powegdomain powergdomain powegrdomain powerwomain powerdwomain powerwdomain powereomain powerdeomain poweredomain powerromain powerdromain powerrdomain powersomain powerdsomain powersdomain powerfomain powerdfomain powerfdomain powerxomain powerdxomain powerxdomain powercomain powerdcomain powercdomain powervomain powerdvomain powervdomain power omain powerd omain power domain powerd9main powerdo9main powerd9omain powerd(main powerdo(main powerd(omain powerd0main powerdo0main powerd0omain powerdimain powerdoimain powerdiomain powerdpmain powerdopmain powerdpomain powerdkmain powerdokmain powerdkomain powerdlmain powerdolmain powerdlomain powerdamain powerdemain powerdumain powerdojain powerdomjain powerdojmain powerdokain powerdomkain powerdokmain powerdolain powerdomlain powerdolmain powerdonain powerdomnain powerdonmain powerdo ain powerdom ain powerdo main powerdomqin powerdomaqin powerdomqain powerdomwin powerdomawin powerdomwain powerdomsin powerdomasin powerdomsain powerdomxin powerdomaxin powerdomxain powerdomzin powerdomazin powerdomzain powerdom in powerdoma in powerdom ain powerdomein powerdomiin powerdomoin powerdomuin powerdoma8n powerdomai8n powerdoma8in powerdoma*n powerdomai*n powerdoma*in powerdoma9n powerdomai9n powerdoma9in powerdomaun powerdomaiun powerdomauin powerdomaon powerdomaion powerdomaoin powerdomajn powerdomaijn powerdomajin powerdomakn powerdomaikn powerdomakin powerdomaln powerdomailn powerdomalin powerdomaan powerdomaen powerdomaig powerdomaing powerdomaign powerdomaih powerdomainh powerdomaihn powerdomaij powerdomainj powerdomaijn powerdomaib powerdomainb powerdomaibn powerdomaim powerdomainm powerdomaimn powerdomai powerdomain powerdomai n Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.
|
©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy |
|