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

More Information
Summary: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.
ISSN:2331-8422