The Directed Probabilistic Powerspace

Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-det...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Xie, Xiaolin, Kou, Hui, Lyu, Zhenchao
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 11.03.2022
Subjects
Functional programming
Programming languages
Semantics
Online AccessGet full text

Cover

Abstract Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-determined space [4]. We construct the probabilistic powerspace of the directed space, which is defined as a free directed space-cone. In addition, the relationships between our construction and classical probabilistic powerdomain are studied.
AbstractList Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-determined space [4]. We construct the probabilistic powerspace of the directed space, which is defined as a free directed space-cone. In addition, the relationships between our construction and classical probabilistic powerdomain are studied.
Author Xie, Xiaolin
Kou, Hui
Lyu, Zhenchao
Author_xml – sequence: 1
  givenname: Xiaolin
  surname: Xie
  fullname: Xie, Xiaolin
– sequence: 2
  givenname: Hui
  surname: Kou
  fullname: Kou, Hui
– sequence: 3
  givenname: Zhenchao
  surname: Lyu
  fullname: Lyu, Zhenchao
BookMark eNrjYmDJy89LZWLgNDI2NtS1MDEy4mDgLS7OMjAwMDIzNzI1NeZkUA3JSFVwySxKTS5JTVEIKMpPSkzKzMksLslMVgjIL08tKi5ITE7lYWBNS8wpTuWF0twMym6uIc4eugVF-YWlqcUl8Vn5pUV5QKl4IzNjcwsjoAUGxsSpAgAYXjC1
ContentType Paper
Copyright 2022. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2022. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PIMPY
PQEST
PQQKQ
PQUKI
PRINS
PTHSS
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central
ProQuest Central Essentials
ProQuest Central
Technology Collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
Publicly Available Content Database
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest One Academic
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PIMPY
PQEST
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-proquest_journals_26378202603
IEDL.DBID BENPR
IngestDate Thu Oct 10 15:48:13 EDT 2024
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-proquest_journals_26378202603
OpenAccessLink https://www.proquest.com/docview/2637820260?pq-origsite=%requestingapplication%
PQID 2637820260
PQPubID 2050157
ParticipantIDs proquest_journals_2637820260
PublicationCentury 2000
PublicationDate 20220311
PublicationDateYYYYMMDD 2022-03-11
PublicationDate_xml – month: 03
  year: 2022
  text: 20220311
  day: 11
PublicationDecade 2020
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2022
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 3.3929057
SecondaryResourceType preprint
Snippet Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Functional programming
Programming languages
Semantics
Title The Directed Probabilistic Powerspace
URI https://www.proquest.com/docview/2637820260
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMTC2TEkxSwWtw0lL0jUxtUjTTUw2MNW1NElLMU8yMjFPSgFtcPb1M_MINfGKMI2ADrgVQ5dVwspEcEGdkp8MGiPXNzIzBh3tBmx-2xcU6oJujQLNrkKv0GBmYDUyNAFN07I6ufoFBMFHWYzMzIFtZmOMghZce7gJMrAGJBakFgkxMKXmCTOwgxddJheLMKgC40gBUuakpigEFAGzFmipKujkZIUA8O1lwA5tqiiDsptriLOHLszseGj8F8cjXGssxsAC7MinSjAoGJpZpgCrfxPDNGC7JTUxKdHSMtEsCVjDWwKrkhTzZEkGGXwmSeGXlmbgMgItzQetNTOUYWApKSpNlQVWmCVJcgzMFm7uctCwAfJ861wBpoF0vg
link.rule.ids 786,790,12792,21416,33406,33777,43633,43838
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV07T8MwED5BKwQbT_EoEAkYLZrYceqJoWoI0FYZitQtsmNnhDYp_587k9KhUmdLJ8uP77s7f74DeOxzZa10pMOpDBPxoGK67MdMicomJhKJsfTBeTKV2ad4n8fzNuHWtLLKNSZ6oLbfJeXInyPJqbQbut8viyWjrlH0utq20NiHruCS0zkfpK__OZZIJugx8y2Y9dyRHkM31wtXn8Ce-zqFAy-5LJszeMIdCv4Qx9kgr_FikVCV6iYHue9dhuGsO4eHdDQbZmxtu2h3vyk2c-UX0MEw3l1CEEplkfxFWKHX4rTRSmlpkN8VEolNyivo7bJ0vXv4Hg6z2WRcjN-mHzdwFJFIn1RnYQ86q_rH3SJ1rsydX59fwqd0Lg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+Directed+Probabilistic+Powerspace&rft.jtitle=arXiv.org&rft.au=Xie%2C+Xiaolin&rft.au=Kou%2C+Hui&rft.au=Lyu%2C+Zhenchao&rft.date=2022-03-11&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422