Measuring the Probabilisti Powerdomain
نویسندگان
چکیده
منابع مشابه
The Mixed Powerdomain
This paper characterizes the powerdomain constructions which have been used in the semantics of programming languages in terms of formulas of first order logic under a preordering of provable implication. The goal is to reveal the basic logical significance of the powerdomain elements by casting them in the right setting. Such a treatment may contribute to a better understanding of their potent...
متن کاملThe Powerdomain of Indexed Valuations
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using the notion of powerdomain, while probability is modeled using the powerdomain of valuations. Those two functors do not combine well, as they are. We define the notion of powerdomain of indexed valuations, which can be c...
متن کاملRepresenting Powerdomain Elements as Monadic Second Order Predicates
This report characterizes the powerdomain constructions which have been used in the semantics of programming languages in terms of formulas of first order logic under a preordering of provable implication. This provides an intuitive representation which suggests a new form of powerdomain called the mixed powerdomain which expresses data in a different way from the well-known constructions from ...
متن کاملThe Convex Powerdomain in a Category of Posets Realized by CPOs
We construct a powerdomain in a category whose objects are posets of data equipped with a cpo of \intensional" representations of the data, and whose morphisms are those monotonic functions between posets that are \realized" by continuous functions between the associated cpos. The category of cpos is contained as a full subcategory that is preserved by lifting, sums, products and function space...
متن کاملThe Extended Probabilistic Powerdomain Monad over Stably Compact Spaces
For the semantics of probabilistic features in programming mainly two approaches are used for building models. One is the Giry monad of Borel probability measures over metric spaces, and the other is Jones’ probabilistic powerdomain monad [6] over dcpos (directed complete partial orders). This paper places itself in the second domain theoretical tradition. The probabilistic powerdomain monad is...
متن کامل