Foundations of Probabilistic Programming

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is...

Full description

Saved in:
Bibliographic Details
Main Authors: Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra
Format: eBook Book
Language:English
Published: Cambridge Cambridge University Press 2021
Edition:1
Series:Mathematical Sciences and Information Technology
Subjects:
Artificial intelligence
Computer programming
Computer programming / software engineering
Computer science
Computing and Information Technology
Machine learning
Probabilities-Data processing
Programming and scripting languages: general
Stochastic programming
theory of programming languages
ISBN:110848851X, 9781108488518, 1108770754, 9781108770750
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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