A probability perspective

DOI10.1007/s00165-010-0157-0zbMath1236.68197OpenAlexW2061943950MaRDI QIDQ640292

Eric C. R. Hehner

Publication date: 18 October 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-010-0157-0

zbMATH Keywords

Bayesian probabilityprobabilistic programmingtwo envelopes

Mathematics Subject Classification ID

Game theory (91A99) Communication, information (94A99) General topics in artificial intelligence (68T01) Axioms; other general questions in probability (60A05) Theory of software (68N99) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Typed Linear Algebra for Weigthed (Probabilistic) Automata ⋮ Towards a linear algebra of programming ⋮ Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs ⋮ Moment-based analysis of Bayesian network properties

Uses Software

• qGCL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• Semantics of probabilistic programs
• A First Look at Rigorous Probability Theory
• Quantum Predicative Programming
• Information Content of Programs and Operation Encoding
• Abstraction, Refinement and Proof for Probabilistic Systems
• Data Refinement
• Mathematics of Program Construction

This page was built for publication: A probability perspective