Foundations of Probabilistic Programming 110848851X, 9781108488518
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This
294 26 4MB
English Pages 582 [584] Year 2021
Table of contents :
Cover
Half-title
Title page
Copyright information
Contents
Contributors
Preface
1 Semantics of Probabilistic Programming: A Gentle Introduction
2 Probabilistic Programs as Measures
3 An Application of Computable Distributions to the Semantics of Probabilistic Programs
4 On Probabilistic λ-Calculi
5 Probabilistic Couplings from Program Logics
6 Expected Runtime Analysis by Program Verification
7 Termination Analysis of Probabilistic Programs with Martingales
8 Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
9 The Logical Essentials of Bayesian Reasoning
10 Quantitative Equational Reasoning
11 Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy
12 Quantitative Information Flow with Monads in Haskell
13 Luck: A Probabilistic Language for Testing
14 Tabular: Probabilistic Inference from the Spreadsheet
15 Programming Unreliable Hardware
Cover
Half-title
Title page
Copyright information
Contents
Contributors
Preface
1 Semantics of Probabilistic Programming: A Gentle Introduction
2 Probabilistic Programs as Measures
3 An Application of Computable Distributions to the Semantics of Probabilistic Programs
4 On Probabilistic λ-Calculi
5 Probabilistic Couplings from Program Logics
6 Expected Runtime Analysis by Program Verification
7 Termination Analysis of Probabilistic Programs with Martingales
8 Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
9 The Logical Essentials of Bayesian Reasoning
10 Quantitative Equational Reasoning
11 Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy
12 Quantitative Information Flow with Monads in Haskell
13 Luck: A Probabilistic Language for Testing
14 Tabular: Probabilistic Inference from the Spreadsheet
15 Programming Unreliable Hardware
- Author / Uploaded
- Gilles Barthe
- Joost-Pieter Katoen
- Alexandra Silva
- Similar Topics
- Computers
- Programming
![Foundations of Probabilistic Logic Programming. Languages, Semantics, lnference and Learning [2 ed.]
9788770227193, 9781000923216, 9781003427421](https://ebin.pub/img/200x200/foundations-of-probabilistic-logic-programming-languages-semantics-lnference-and-learning-2nbsped-9788770227193-9781000923216-9781003427421.jpg)
![Foundations of Python network programming [3rd ed]
9781430258551, 1430258551](https://ebin.pub/img/200x200/foundations-of-python-network-programming-3rd-ed-9781430258551-1430258551.jpg)
![Foundations of Equational Logic Programming [1 ed.]
354051533X, 9783540515333](https://ebin.pub/img/200x200/foundations-of-equational-logic-programming-1nbsped-354051533x-9783540515333.jpg)
![Foundations of Videogame Programming(2020)[Sanders[9798657300802]
9798657300802](https://ebin.pub/img/200x200/foundations-of-videogame-programming2020sanders9798657300802-9798657300802.jpg)
