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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra
Format: E-Book Buch
Sprache:Englisch
Veröffentlicht: Cambridge Cambridge University Press 2021
Ausgabe:1
Schriftenreihe:Mathematical Sciences and Information Technology
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • 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