Article

A probabilistic powerdomain of evaluations

Authors:

C. Jones and

G. PlotkinAuthors Info & Claims

Proceedings of the Fourth Annual Symposium on Logic in computer science

June 1989

Pages 186 - 195

Published: 05 June 1989 Publication History

Abstract

No abstract available.

Cited By

View all

Di Gianantonio PEdalat ASobocinski PLago UEsparza J(2024)A Cartesian Closed Category for Random VariablesProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662126(1-14)Online publication date: 8-Jul-2024
https://dl.acm.org/doi/10.1145/3661814.3662126
Liang FHodgkinson LMahoney MOh ANaumann TGloberson ASaenko KHardt MLevine S(2023)A heavy-tailed algebra for probabilistic programmingProceedings of the 37th International Conference on Neural Information Processing Systems10.5555/3666122.3666971(19353-19365)Online publication date: 10-Dec-2023
https://dl.acm.org/doi/10.5555/3666122.3666971
Goubault-Larrecq JJia XThéron C(2023)A Domain-theoretic Approach to Statistical Programming LanguagesJournal of the ACM10.1145/361166070:5(1-63)Online publication date: 11-Oct-2023
https://dl.acm.org/doi/10.1145/3611660
Show More Cited By

Index Terms

A probabilistic powerdomain of evaluations
1. Mathematics of computing
  1. Continuous mathematics
    1. Calculus
      1. Lambda calculus
  2. Mathematical analysis
    1. Calculus
      1. Lambda calculus
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models
  2. Semantics and reasoning
    1. Program semantics

Recommendations

Algebras of the Extended Probabilistic Powerdomain Monad
Abstract
We investigate the Eilenberg-Moore algebras of the extended probabilistic powerdomain monad Vw over the category TOP₀ of T0 topological spaces and continuous maps. We prove that every Vw-algebra in our setting is a weakly locally convex sober ...
Read More
The extended probabilistic powerdomain monad over stably compact spaces
TAMC'06: Proceedings of the Third international conference on Theory and Applications of Models of Computation

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 ...
Read More
QRB, QFS, and the Probabilistic Powerdomain

We show that the first author's QRB-domains coincide with Li and Xu's QFS-domains, and also with Lawson-compact quasi-continuous dcpos, with stably-compact locally finitary compact spaces, with sober QFS-spaces, and with sober QRB-spaces. The first ...
Read More

Comments

Information & Contributors

Information

Published In

Proceedings of the Fourth Annual Symposium on Logic in computer science

June 1989

401 pages

ISBN:0818619546

Chairman:
Rohit Parikh
CUNY, New York

Publisher

IEEE Press

Publication History

Published: 05 June 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

91
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

View all

Di Gianantonio PEdalat ASobocinski PLago UEsparza J(2024)A Cartesian Closed Category for Random VariablesProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662126(1-14)Online publication date: 8-Jul-2024
https://dl.acm.org/doi/10.1145/3661814.3662126
Liang FHodgkinson LMahoney MOh ANaumann TGloberson ASaenko KHardt MLevine S(2023)A heavy-tailed algebra for probabilistic programmingProceedings of the 37th International Conference on Neural Information Processing Systems10.5555/3666122.3666971(19353-19365)Online publication date: 10-Dec-2023
https://dl.acm.org/doi/10.5555/3666122.3666971
Goubault-Larrecq JJia XThéron C(2023)A Domain-theoretic Approach to Statistical Programming LanguagesJournal of the ACM10.1145/361166070:5(1-63)Online publication date: 11-Oct-2023
https://dl.acm.org/doi/10.1145/3611660
Ford CMilius SSchröder LGorla D(2021)Behavioural preorders via graded monadsProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470517(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470517
de Amorim AGaboardi MHsu JKatsumata SBouyer P(2019)Probabilistic relational reasoning via metricsProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470192(1-19)Online publication date: 24-Jun-2019
https://dl.acm.org/doi/10.5555/3470152.3470192
Kobayashi NLago UGrellois CBouyer P(2019)On the termination problem for probabilistic higher-order recursive programsProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470177(1-14)Online publication date: 24-Jun-2019
https://dl.acm.org/doi/10.5555/3470152.3470177
Lee WYu HRival XYang H(2019)Towards verified stochastic variational inference for probabilistic programsProceedings of the ACM on Programming Languages10.1145/33710844:POPL(1-33)Online publication date: 20-Dec-2019
https://dl.acm.org/doi/10.1145/3371084
Sato TAguirre ABarthe GGaboardi MGarg DHsu J(2019)Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimizationProceedings of the ACM on Programming Languages10.1145/32903513:POPL(1-30)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290351
Vákár MKammar OStaton S(2019)A domain theory for statistical probabilistic programmingProceedings of the ACM on Programming Languages10.1145/32903493:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290349
Gorinova MGordon ASutton C(2019)Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministicProceedings of the ACM on Programming Languages10.1145/32903483:POPL(1-30)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290348
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Algebras of the Extended Probabilistic Powerdomain Monad

The extended probabilistic powerdomain monad over stably compact spaces

QRB, QFS, and the Probabilistic Powerdomain

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations